Communication Dans Un Congrès
Année : 2011
Annick Billon-Coat : Connectez-vous pour contacter le contributeur
https://ensta-bretagne.hal.science/hal-00636875
Soumis le : vendredi 28 octobre 2011-15:26:12
Dernière modification le : jeudi 21 septembre 2023-16:30:03
Dates et versions
Identifiants
- HAL Id : hal-00636875 , version 1
Citer
Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking. APSEC'11, Dec 2011, Minh City, Vietnam. ⟨hal-00636875⟩
Collections
218
Consultations
0
Téléchargements