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 | |
Go to the contact details of the person in charge of this page |
Deutsch | |
This page in german. Diese Seite auf deutsch. |