 | 2011 |
|---|
| 5 |       | Youcef Hammal:
Behavioral Subtyping Relations for Timed Components.
FGIT-ASEA/DRBC/EL 2011: 26-35 |
| 2008 |
|---|
| 4 | | Youcef Hammal:
A modular state exploration and compatibility checking of UML dynamic diagrams.
AICCSA 2008: 793-800 |
| 3 | | Youcef Hammal:
Behavioral Compatibility of Active Components.
SEFM 2008: 372-376 |
| 2006 |
|---|
| 2 | | Youcef Hammal:
Branching Time Semantics for UML 2.0 Sequence Diagrams.
FORTE 2006: 259-274 |
| 2005 |
|---|
| 1 | | Youcef Hammal:
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.
FORTE 2005: 38-52 |
Data released under the ODC-BY 1.0 license — See also our legal information page