Efficient Parameter Synthesis Using Optimized State Exploration Strategies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Étienne André, Hoang Gia Nguyen, Laure Petrucci. Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2017, Fukuoka, France. pp.1-10, ⟨10.1109/ICECCS.2017.28⟩. ⟨hal-03772780⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More