Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Autor
Pavithra Prabhakar, Andrea Vandin
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032057921
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-05792-1