The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models

R. Eschbach, U. Glässer, R. Gotzhein, M. v. Löwis, A. Prinz

Proceedings of the 8th International Conference on "Computer Aided Systems Theory and Technology (Eurocast 2001): Abstract State Machines", Spain, 2001, pp. 216-219

Zusammenfassung





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.