![]() | ![]() |
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] |