CONISOFT 2024
12th International Conference on Software Engineering Research and Innovation
|
VLSIE 2024
5th International Conference on VLSI & Embedded Systems
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
ITCCMA 2024
11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
|
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)
|
CSL 2025
Computer Science Logic
|
JANT 2024
International Journal of Antennas
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
AFMAS 2024
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|