Software Engineering : Testing Real - Time Embedded Systems Using Timed Automata Based Approaches هندسة برمجيات , أختبار النظم المضمنة ذات الزمن الحقيقي إعتماد على النمازج الزمنية
- دمشق جامعة برونيل ، كلية الهندسة الميكانيكية الكهربائية - قسم الهندسة الحواسيب 2012
- 234 ص CD