Author:
Lüttgen Gerald,Vogler Walter
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM TOPLAS 1(3), 507–534 (1995)
2. Bauer, S., Hennicker, R., Wirsing, M.: Interface theories for concurrency and data. Theoret. Comp. Sc. 412(28), 3101–3121 (2011)
3. Lecture Notes in Computer Science;S.S. Bauer,2010
4. de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE, pp. 109–120. ACM (2001)
5. de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Engineering Theories of Software-Intensive Systems. NATO Science Series, vol. 195. Springer (2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Smart Contracts Using Interface Automata;2019 IEEE International Conference on Blockchain (Blockchain);2019-07
2. Failure Semantics for Modal Transition Systems;ACM Transactions on Embedded Computing Systems;2015-12-08
3. A Pre-congruence Format for XY-simulation;Fundamentals of Software Engineering;2015
4. Towards a Failure Model of Software Components;Formal Aspects of Component Software;2014
5. Model-Based Testing;Lecture Notes in Computer Science;2014