Single Core Model Describes Software, Hardware Dynamics
Finite Constraint, Concurrent Probabilistic Transition Systems
Models qualitative behavior of component modes
Models failure, intermittency and optimal control
inflow = outflow = 0
Previous slide
Next slide
Back to first slide
View graphic version