Pages that link to "Item:Q1176111"
From MaRDI portal
The following pages link to Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111):
Displaying 4 items.
- Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design (Q1857286) (← links)
- Yeast: A case study for a practical use of formal methods (Q5044729) (← links)
- On the specification of elementary reactive behaviour (Q5890052) (← links)