 | 2011 |
|---|
| 6 |       | Samir Chouali,
Ahmed Hammad:
Formal verification of components assembly based on SysML and interface automata.
ISSE 7(4): 265-274 (2011) |
| 2010 |
|---|
| 5 | | Régine Laleau,
Farida Semmak,
Abderrahman Matoussi,
Dorian Petit,
Ahmed Hammad,
Bruno Tatibouët:
A first attempt to combine SysML requirements diagrams and B.
ISSE 6(1-2): 47-54 (2010) |
| 2009 |
|---|
| 4 | | Ahmed Hammad,
Hassan Mountassir:
Verification of Real-Time Systems: Application to the Transportation Domain.
NTMS 2009: 1-5 |
| 2006 |
|---|
| 3 | | Mohammed Al Achhab,
Ahmed Hammad,
Hassan Mountassir:
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.
ISoLA 2006: 28-35 |
| 2003 |
|---|
| 2 | | Bruno Tatibouët,
Antoine Requet,
Jean-Christophe Voisinet,
Ahmed Hammad:
Java Card Code Generation from B Specifications.
ICFEM 2003: 306-318 |
| 2002 |
|---|
| 1 | | Ahmed Hammad,
Bruno Tatibouët,
Jean-Christophe Voisinet,
Weiping Wu:
From a B Specification to UML StateChart Diagrams.
ICFEM 2002: 511-522 |
Data released under the ODC-BY 1.0 license — See also our legal information page