CONISOFT 2024
12th International Conference on Software Engineering Research and Innovation
|
SOEN 2024
9th International Conference on Software Engineering
|
ITCCMA 2024
11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
IEEE PRAI 2024
IEEE--2024 the 7th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2024)
|
AFMAS 2024
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|
IEEE WSAI 2024
IEEE--2024 the 6th World Symposium on Artificial Intelligence (WSAI 2024)
|
CRISIS 2024
19th International Conference on Risks and Security of Internet and Systems
|
TAP 2024
18th International Conference on Tests and Proofs
|