 | 2010 |
|---|
| 6 |       | Mourad Debbabi,
Fawzi Hassaïne,
Yosr Jarraya,
Andrei Soeanu,
Luay Alawneh:
Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models.
Springer 2010: I-XXVI, 1-248 |
| 2009 |
|---|
| 5 | | Fawzi Hassaïne,
Russ Moulton,
Chris Fink:
Composing a high fidelity HLA federation for littoral operations.
SAC 2009: 2087-2092 |
| 2007 |
|---|
| 4 | | Yosr Jarraya,
Andrei Soeanu,
Mourad Debbabi,
Fawzi Hassaïne:
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
ECBS 2007: 515-522 |
| 2006 |
|---|
| 3 |  | Luay Alawneh,
Mourad Debbabi,
Fawzi Hassaïne,
Andrei Soeanu:
On the verification and validation of uml structural and behavioral diagrams.
ACST 2006: 304-309 |
| 2 | | Luay Alawneh,
Mourad Debbabi,
Yosr Jarraya,
Andrei Soeanu,
Fawzi Hassaïne:
A Unified Approach for Verification and Validation of Systems and Software Engineering Models.
ECBS 2006: 409-418 |
| 1 | | Luay Alawneh,
Mourad Debbabi,
Fawzi Hassaïne,
Yosr Jarraya,
Payam Shahi,
Andrei Soeanu:
Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models.
IASTED Conf. on Software Engineering 2006: 282-287 |
Data released under the ODC-BY 1.0 license — See also our legal information page