30250

Verification and Validation of a Safety System for a Fuel-Cell Research Facility: A Case Study

Frank Drews استاد راهنما

OhioLINK ETD

نامعلوم

Master of Science )MS( )Ohio University, Computer Science )Engineering((

0

2007

critical systems , Software Engineering , system modeling , finite-state-machine , specification , Verification , liveness , Validation , Safety , Self-stabilization , system safety , real-time systems

01

انگليسي