|
ICFEM 2024
International Conference on Formal Engineering Methods
|
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
|
ITNG 2024
The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
|
|
ACIE 2024
CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
|
|
ICCDE--EI 2025
2025 11th International Conference on Computing and Data Engineering (ICCDE 2025)
|
|
ACM ICSCA 2025
ACM--2025 14th International Conference on Software and Computer Applications (ICSCA 2025)
|
|
IEEE ICCTech 2025
IEEE--2025 the 4th International Conference on Computer Technologies (ICCTech 2025)
|
|
WSIS - 2024
XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
|
|
ICMLSC 2025
2025 The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025)
|
|
FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
