Ouvrages
Année : 2021
Mahsa Shirmohammadi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03435905
Soumis le : vendredi 19 novembre 2021-06:22:50
Dernière modification le : mardi 19 décembre 2023-13:49:46
Citer
Mahsa Shirmohammadi, Catalin Dima. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 12860, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85037-1⟩. ⟨hal-03435905⟩
Collections
13
Consultations
0
Téléchargements