Publisher
Springer International Publishing
Reference12 articles.
1. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001). https://doi.org/10.1007/978-1-4613-0091-5
3. Broy, M.: Relating time and causality in interactive distributed systems. In: Broy, M., Sitou, W., Hoare, T. (eds.) Engineering Methods and Tools for Software Safety and Security, NATO Science for Peace and Security Systems, D: Information and Communication Security, vol. 22, pp. 75–130. IOS Press (2009)
4. Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758–1782 (2010)
5. Broy, M.: Verifying of interface assertions for infinite state Mealy machines. J. Comput. Syst. Sci. 80(7), 1298–1322 (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献