A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Hi-index | 0.00 |