|
FMAS 2023
Fifth Workshop on Formal Methods for Autonomous Systems
|
|
CNWC 2023
2023 International Conference on Computer Networks and Wireless Communication (CNWC 2023)
|
|
IEEE ICCC 2023
IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
|
|
VSTTE 2023
International Conference on Verified Software: Theories, Tools, and Experiments
|
|
ICSE 2024
The IEEE/ACM International Conference on Software Engineering (Second Round)
|
|
ISSRE 2023
ISSRE 2023 : The 34rd International Symposium on Software Reliability Engineering
|
|
SOFEA 2023
International Conference on Software Engineering and Applications
|
|
SNPD Winter 2023
26th IEEE/ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
|
|
CE 2023
7th International Conference on Civil Engineering
|
|
PRDC 2023
28th IEEE Pacific Rim International Symposium on Dependable Computing
|
