The following pages link to (Q4787220):
Displaying 4 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Formal Methods in Computer-Aided Design (Q5492974) (← links)
- \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications (Q6544791) (← links)