Author:
Lund Mass Soldal,Refsdal Atle,Stølen Ketil
Publisher
Springer Berlin Heidelberg
Reference97 articles.
1. Object Management Group: Unified Modeling Language: Superstructure, version 2.1.1 (non-change bar). OMG Document: formal/2007-02-05 (2005)
2. International Telecommunication Union: Message Sequence Chart (MSC), ITU-T Recommendation Z.120 (1999)
3. Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. Formal Methods in System Design 19, 45–80 (2001)
4. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
5. International Telecommunication Union: Specification and description language (SDL), ITU-T Recommendation Z.100 (2000)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献