|
FACS 2024
20th International Conference on Formal Aspects of Component Software
|
|
CSIT 2024
11th International Conference on Computer Science and Information Technology
|
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
|
ACM MLMI 2024
ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
|
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|
|
IJME 2024
International Journal of Microelectronics Engineering
|
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
|
SESBC 2024
5th International Conference on Software Engineering, Security and Blockchain
|
|
TASE 2024
18th Theoretical Aspects of Software Engineering Conference
|
|
IEEE WSAI 2024
IEEE--2024 the 6th World Symposium on Artificial Intelligence (WSAI 2024)
|
