FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
IEAI--EI 2025
2025 6th International Conference on Industrial Engineering and Artificial Intelligence (IEAI 2025)
|
MSIE--EI 2025
2025 7th International Conference on Management Science and Industrial Engineering (MSIE 2025)
|
SBMF 2024
27th Brazilian Symposium on Formal Methods
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
CRISIS 2024
19th International Conference on Risks and Security of Internet and Systems
|
IJDMS 2024
International Journal of Database Management Systems
|
FMAS 2024
Sixth International Workshop on Formal Methods for Autonomous Systems
|