The following pages link to Reasoning about reactive systems (Q2763546):
Displaying 6 items.
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Modeling data-intensive reactive systems with relational transition systems (Q1901696) (← links)
- Barbed Semantics for Open Reactive Systems (Q2848882) (← links)
- Reactive Systems (Q5309950) (← links)
- Perspectives of System Informatics (Q5902422) (← links)
- Synthesizing reactive systems from hyperproperties (Q6045009) (← links)