Author:
Wischnewski Roland,Rossmann Juergen,Stern Oliver
Publisher
Springer International Publishing
Reference10 articles.
1. IEEE: IEEE Std 610.3-1989, IEEE Standard Glossary of Modeling and Simulation Terminology (1989)
2. Project Management Institute: A Guide to the Project Management Body of Knowledge (PMBOK Guide), 5th ed. (2013)
3. Alur, R.: Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software (EMSOFT), Taipei, Taiwan, pp. 273–278 (2011)
4. Preuße, S., Lapp, H.-C., Hanisch, H.-M.: Closed-loop Modeling, Validation, and Verification. In: Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Kraków, Poland, pp. 1–8, index 99 (2012)
5. Lobo, E., Fertuzinhos, J., Silva, J., Machado, J.: Obtaining Plant Models for Formal Verification Tasks from 3D CAD Models: Which is the Best Approach? Advanced Materials Research 630, 283–290 (2012)