Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Autor
Tiziana Margaria, Bernhard Steffen
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031751073
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-75107-3