Diseño y análisis formal de sistemas de software
FADOSS
University of Groningen
Groninga, HolandaPublications en collaboration avec des chercheurs de University of Groningen (1)
2023
-
Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications
Journal of Systems and Software