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




 Superordinated page: Year 2001

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.