The following pages link to (Q4787253):
Displaying 8 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng (Q2842626) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- (Q4471923) (← links)
- Structural operational semantics for a portable subset of behavioral VHDL-93 (Q5929100) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)