Author:
Kraemer Frank,Herrmann Peter
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and verification of component connectors in Coq;Science of Computer Programming;2015-12
2. Utilizing UML, cTLA, and SRN;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2015
3. Formal modeling and verification of complex interactions in e-government applications;Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance;2014-10-27
4. Reo + mCRL2 : A framework for model-checking dataflow in service compositions;Formal Aspects of Computing;2012-03
5. UNIFIED MODELING OF SERVICE LOGIC WITH USER INTERFACES;International Journal of Cooperative Information Systems;2011-06