![[logo of the networked systems group]](/en/images/vs.gif)
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
Proceedings of the 8th International Conference on "Computer Aided Systems Theory and Technology (Eurocast 2001): Abstract State Machines", Spain, 2001, pp. 216-219
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. |