An Executable Formal Semantics for SDL-2000

A. Prinz, R. Eschbach, R. Gotzhein

Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and MSC, June 2000

Zusammenfassung




 Übergeordnete Seite: Jahr 2000

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.