Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
ISBN
978-3-031-75107-3
Publisher Herausgeber
Springer
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
15220