| |
| 2004 | ||
|---|---|---|
| 2 | EE | Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng: Early Validation of Deployment and Scheduling Constraints for MSC Specifications. SAM 2004: 106-121 |
| 2003 | ||
| 1 | EE | Ferhat Khendek, Xiao Jun Zhang: From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. Scenarios: Models, Transformations and Tools 2003: 228-254 |
| 1 | Ferhat Khendek | [1] [2] |
| 2 | Christophe Lohr | [2] |
| 3 | Li Xin Wang | [2] |
| 4 | Tong Zheng | [2] |