Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems Dublin Core Títol Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems Autor Pavithra Prabhakar, Andrea Vandin Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2026 Identificador 9783032057921 Font https://doi.org/10.1007/978-3-032-05792-1 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
