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





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.