Meinten Sie:
+keyword:(moore)
Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff
Flight Safety Assessment and Management for Takeoff Using Deterministic Moore Machines