The following pages link to (Q4175259):
Displaying 5 items.
- Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111) (← links)
- Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- Closures on CPOs form complete lattices (Q1854300) (← links)
- A functional model for describing and reasoning about time behaviour of computing systems (Q2265792) (← links)
