Pages that link to "Item:Q4221300"
From MaRDI portal
The following pages link to Logical specification of reactive and real-time systems (Q4221300):
Displaying 10 items.
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- A logical view of composition (Q685416) (← links)
- Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609) (← links)
- Developing reactive systems in a VDM framework (Q685617) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Composing and refining dense temporal logic specifications (Q1586168) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- On the specification of elementary reactive behaviour (Q5890052) (← links)