SL2SX
From MaRDI portal
Software:31982
No author found.
Related Items (3)
The refinement calculus of reactive systems ⋮ Mechanically proving determinacy of hierarchical block diagram translations ⋮ A denotational semantics of simulink with higher-order UTP
This page was built for software: SL2SX