Specification and Formal Verification of Temporal Properties of Production Automation Systems-Reference-Cited by-同舟云学术

Specification and Formal Verification of Temporal Properties of Production Automation Systems

Published:2004 Issue: Volume: Page:206-226
ISSN:0302-9743
Container-title:Integration of Software Specification Techniques for Applications in Engineering
language:
Short-container-title:

Author:

Flake Stephan,Müller Wolfgang,Pape Ulrich,Ruf Jürgen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27863-4_13.pdf

Reference45 articles.

1. Baar, T., Hähnle, R.: An Integrated Metamodel for OCL Types. In: France, R., Rumpe, B., Bruel, J.-M., Moreira, A., Whittle, J., Ober, I. (eds.) OOPSLA 2000 Workshop Refactoring the UML: In Search of the Core, Minneapolis, MN, USA (2000)

2. Lecture Notes in Computer Science;J.C. Bradfield,2002

3. Lecture Notes in Computer Science;U. Brockmeyer,1998

4. Burmester, S., Flake, S., Giese, H., Schäfer, W., Tichy, M.: Towards the Compositional Verification of Real-Time UML Designs. In: Inverardi, P., Paakki, J. (eds.) Joint 9th European Software Engineering Conference (ESEC) and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 2003, pp. 38–47. ACM Press, New York (2003)

5. Lecture Notes in Computer Science;M.V. Cengarle,2002

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and Formal Verification of Production Automation Systems;Integration of Software Specification Techniques for Applications in Engineering;2004

2. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results;Integration of Software Specification Techniques for Applications in Engineering;2004

3. FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems;Theoretical Aspects of Computing – ICTAC 2007