Author:
Mohamed Hesham Kamal Arafat,Müller-Clostermann Bruno
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Belachev, M., Shyamasundar, R.K.: MSC+: From Requirement to Prototyped Systems. In: 13th Euromicro Conference on Real-Time Systems, Technical University of Delft, Delft, The Netherlands, June 13-15, pp. 117–124 (2001)
2. Birtwistle, G.M.: DEMOS a System for Discrete Event Modelling on Simula. Macmillan, http://www.cosc.canterbury.ac.nz/teaching/classes/cosc327/
3. Birtwistle, G.M.: DEMOS Reference Manual (1985), http://www.informatik.uni-essen.de/Lehre/Material/DiskreteSim/DemosRefMan.txt
4. Braga, L., Manione, R., Renditore, P.: A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. In: Gotzhein and Bredereke (eds.) [11], pp. 245–260
5. Diefenbruch, M., Hintelmann, J., Müller-Clostermann, B.: The QUEST-Approach for the Performance Evaluation of SDL-Systems. In: Gotzhein and Bredereke (eds.) [11], pp. 229–244