Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Use Cases Modeling for Scalable Model-Checking

Liste complète des métadonnées

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00636875
Contributeur : Annick Billon-Coat <>
Soumis le : vendredi 28 octobre 2011 - 15:26:12
Dernière modification le : mercredi 21 avril 2021 - 11:36:03

Identifiants

  • HAL Id : hal-00636875, version 1

Citation

Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking. APSEC'11, Dec 2011, Minh City, Vietnam. ⟨hal-00636875⟩

Partager

Métriques

Consultations de la notice

479