Author:
Thyssen Judith,Hummel Benjamin
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference39 articles.
1. Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and composing interaction protocols for service-oriented system modelling. In: Proceedings of FORTE’07. Springer, Berlin (2007)
2. Barroca, L., Fiadeiro, J.L.: Coordination contracts as connectors in component-based development. In: Proceedings of Integrated Design and Process Technology, IDPT 2002 (2002)
3. Bauer, A., Leucker, M., Streit, J.: SALT—structured assertion language for temporal logic. In: Proceedings of ICFEM’06. Springer, Berlin (2006)
4. von der Beeck, M.: A comparison of Statecharts variants. In: Proceedings of FTRTFT. Springer, Berlin (1994)
5. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, Ph.: Systems and Software Verification. Model-Checking Techniques and Tools. Springer, Berlin. http://www.springer.com/3-540-41523-8 (2001)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献