A first attempt to combine SysML requirements diagrams and B

Régine Laleau 1 Farida Semmak 1 Abderrahman Matoussi 1 Dorian Petit 2 Ahmed Hammad 3 Bruno Tatibouët 3
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
3 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
Abstract : no abstract
Type de document :
Article dans une revue
Innovations in Systems and Software Engineering, Springer Verlag, 2010, 1-2 (6), pp.47--54. 〈10.1007/s11334--009-0119-y〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01224642
Contributeur : Régine Laleau <>
Soumis le : mercredi 4 novembre 2015 - 22:50:27
Dernière modification le : vendredi 7 décembre 2018 - 12:50:03

Identifiants

Collections

UNIV-FCOMTE | LACL | UPEC-UPEM | UNIV-BM | FEMTO-ST | UNIV-BM-THESE

Citation

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, et al.. A first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering, Springer Verlag, 2010, 1-2 (6), pp.47--54. 〈10.1007/s11334--009-0119-y〉. 〈hal-01224642〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

100

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD