Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. AutoFocus – Webseite (2005), http://autofocus.in.tum.de
2. Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Applicable Formal Methods 17(1) (May 2005)
3. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
4. Broy, M.: Time, Abstraction, Causality, and Modularity in Interactive Systems. In: FESCA 2004. Workshop at ETAPS 2004, pp. 1–8 (2004)
5. Broy, M.: The Semantic and Methodological Essence of Message Sequence Charts. Science of Computer Programming, SCP 54(2-3), 213–256 (2004)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献