Pages that link to "Item:Q2842628"

The following pages link to Simulink Timed Models for Program Verification (Q2842628):

Displaying 3 items.

• Angelic processes for CSP via the UTP (Q1757156) (← links)
• The refinement calculus of reactive systems (Q2672236) (← links)
• Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Q5861786) (← links)