Author:
Lüttgen Gerald,Vogler Walter,Fendrich Sascha
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference21 articles.
1. Bauer, S.: Modal Specification Theories for Component-based Design. Ph.D. Thesis, Faculty of Mathematics, Informatics and Statistics, LMU Munich, Germany (2012)
2. Bauer, S., David, A., Hennicker, R., Larsen, K., Legay, A., Nyman, U., Wasowski, A.: Moving from specifications to contracts in component-based design. In: FASE, LNCS, vol. 7212, pp. 43–58. Springer, Berlin (2012)
3. Bauer, S., Mayer, P., Schroeder, A., Hennicker, R.: On weak modal compatibility, refinement, and the MIO Workbench. In: TACAS, LNCS, vol. 6015, pp. 175–189. Springer, Berlin (2010)
4. Beneš, N., Cerná, I., Křetínský, J.: Modal transition systems: composition and LTL model checking. In: Bultan, T., Hsiung, P.A. (eds.) ATVA, LNCS, vol. 6996, pp. 228–242. Springer, Berlin (2011)
5. Beyer, D., Chakrabarti, A., Henzinger, T., Seshia, S.: An application of web-service interfaces. In: ICWS, pp. 831–838. IEEE (2007)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献