FM 2024
Formal Methods
|
CCVPR 2024
2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
ECTIJ 2024
Economics, Commerce and Trade Management: An International Journal
|
FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
ACM-Ei/Scopus-CCCAI 2024
2024 2nd International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2024) -EI Compendex
|
FOIS 2024
14th International Conference on Formal Ontology in Information Systems (FOIS 2024)
|
SPISCS 2024
2024 3rd International Conference on Signal Processing, Information System and Cyber Security (SPISCS 2024)
|
CRISIS 2024
19th International Conference on Risks and Security of Internet and Systems
|
AFMAS 2024
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|