| 2011 | ||
|---|---|---|
| c2 | Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed: ArchMDE Approach for the Formal Verification of Real Time Systems. CIT 2011: 533-538 | |
| 2007 | ||
| c1 | Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed: ArchMDE Approach for the Development of Embedded Real Time Systems. Ada-Europe 2007: 142-154 | |
| 1 | Samir Ben Ahmed | |
| 2 | Adel Khalfallah |
Data released under the ODC-BY 1.0 license — See also our legal information page