The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models

R. Eschbach, U. Glässer, R. Gotzhein, M. v. Löwis, A. Prinz

Journal of Universal Computer Science, Springer, Special Issue on Abstract State Machines, Vol. 7, No. 11, 2001, pp.1024-1049

Abstract





 

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

 
This page in german. Diese Seite auf deutsch.