FM 2024
Formal Methods
|
CCVPR 2024
2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
SPISCS 2024
2024 3rd International Conference on Signal Processing, Information System and Cyber Security (SPISCS 2024)
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
ACM-Ei/Scopus-CCCAI 2024
2024 2nd International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2024) -EI Compendex
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
MathSJ 2024
Applied Mathematics and Sciences: An International Journal
|
SBMF 2024
27th Brazilian Symposium on Formal Methods
|
FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|