29923

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

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

OhioLINK

نامعلوم

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

0

2007

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

01

انگليسي