Plain Propositional Logic

• Models behavior only within a component mode

• Does not explicitly model transitions between modes

Previous slide

Next slide

Back to first slide

View graphic version