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



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

This page in german. Diese Seite auf deutsch.