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 Jane Hillston, Sadegh Soudjani, Masaki Waga Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2024 Identificador 9783031684166 Font https://doi.org/10.1007/978-3-031-68416-6 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
