The following pages link to Jean-Claude Fernandez (Q548694):
Displaying 4 items.
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696) (← links)
- Symbolic quality control for multimedia applications (Q944000) (← links)
- Protocol verification with the Aldébaran toolset (Q1856199) (← links)
- “On the fly” verification of behavioural equivalences and preorders (Q6493535) (← links)
