The following pages link to (Q4439584):
Displaying 5 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems) (Q914365) (← links)
- Designing and using a single-step functional model of an asynchronous automaton (Q1057238) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- Synchronous development of asynchronous systems (Q6104432) (← links)