Pages that link to "Item:Q1176111"

The following pages link to Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111):

Displaying 2 items.

• Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
• Yeast: A case study for a practical use of formal methods (Q5044729) (← links)