The formal semantics of SDL-2000: Status and perspectives
- 1 June 2003
- journal article
- Published by Elsevier in Computer Networks
- Vol. 42 (3), 343-358
- https://doi.org/10.1016/s1389-1286(03)00247-0
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Towards a formal foundation of the specification and description language SDLFormal Aspects of Computing, 1991