by
Heineman, George T. editor.
Format:
Elektronik Kaynak
Alıntı:
-- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing Resource
View Other Search Results
by
Gorton, Ian. editor.
Format:
Elektronik Kaynak
Alıntı:
Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: