On the Formal Semantics of SDL-2000: A Compilation Approach Using Abstract State Machines

R. Eschbach, R. Gotzhein, A. Prinz

Local Proceedings of the ASM 2000 Workshop, Monte Verita, Schweiz, 2000

Zusammenfassung





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.