Communication Dans Un Congrès
Année : 2017
Laure Petrucci : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03772844
Soumis le : jeudi 8 septembre 2022-15:27:26
Dernière modification le : samedi 2 mars 2024-03:24:53
Citer
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun. Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NASA Formal Methods, May 2017, Moffett Field, United States. pp.35-51, ⟨10.1007/978-3-319-57288-8_3⟩. ⟨hal-03772844⟩
Collections
4
Consultations
0
Téléchargements