The following pages link to (Q4952304):
Displaying 7 items.
- A compositional axiomatization of statecharts (Q1194330) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- (Q4037371) (← links)
- Compositional Verification of Quantitative Properties of Statecharts (Q4529488) (← links)
- Compositionality in state space verification methods (Q4633153) (← links)
- Axiomatising real-timed processes (Q5890048) (← links)
- Verifying abstractions of timed systems (Q6162104) (← links)