SL2SX

MaRDI QIDQ31982swMATHFDO

Official website http://ieeexplore.ieee.org/document/7387704/

Cited in

(5)

• Mechanically proving determinacy of hierarchical block diagram translations
• The refinement calculus of reactive systems
• ClawZ
• Zelus
• A denotational semantics of simulink with higher-order UTP

This page was built for software: SL2SX