Formal Analysis and Verification of Safety InterlockSystems: Formal Specification, Development, and Verification of Safety Interlock Systems: Comparative Case Study

von Seotsanyana Motlatsi Taschenbuch Details (Deutschland) ISBN-13: 978-3-639-08142-8 ISBN-10: 3-639-08142-0 VDM Verlag · 2008