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

Abstract





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.