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
Document type :
Journal articles
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01224642
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:27 PM
Last modification on : Friday, December 7, 2018 - 12:50:03 PM

Links full text

istex

Identifiers

Collections

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

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

109

Contact

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