Parametric Model Checking Timed Automata Under Non-Zenoness Assumption - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption

Domaines

Autre [cs.OH]

Dates et versions

hal-03772844 , version 1 (08-09-2022)

Identifiants

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⟩
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More