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

Journal of Universal Computer Science, Springer, Special Issue on Abstract State Machines, Vol. 7, No. 11, 2001, pp.1024-1049

Zusammenfassung




 Übergeordnete Seite: Jahr 2001

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.