Communication Dans Un Congrès
Année : 2017
Laure Petrucci : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03772780
Soumis le : jeudi 8 septembre 2022-15:04:32
Dernière modification le : mercredi 24 juillet 2024-10:30:03
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⟩
Collections
11
Consultations
0
Téléchargements