Вы здесь

Главная

живучесть

Связанные издания:

Adaptive Architecture for Web Server Survivability
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets
Deterministic Systems of Sequential Processes: A Class of Structured Petri Nets
Formalization of Varables Access Constraints to Support Compositionality of Liveness Properties
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems
Liveness in Free-Choice Petri Nets - An Algebraic Approach
On Liveness and Controlled Siphons in Petri Nets
Safety and Liveness Properties: A Survey
Safety for Branching Time Semantics
Verification of Liveness Properties Using Compositional Reachability Analysis
Working Material for the Lectures of U. Montanari: International Summer School "Control Flow and Data Flow", Munich, Germany, August, 1984
Математическое и программное обеспечение повышения живучести управляю их модулей систем реального времени