The following pages link to Gwen Salaün (Q433346):
Displaying 4 items.
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
