The following pages link to Jean-Claude Fernandez (Q548694):
Displaying 16 items.
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696) (← links)
- An implementation of an efficient algorithm for bisimulation equivalence (Q922711) (← links)
- Symbolic quality control for multimedia applications (Q944000) (← links)
- State space reduction based on live variables analysis. (Q1398676) (← links)
- Protocol verification with the Aldébaran toolset (Q1856199) (← links)
- (Q2722048) (← links)
- (Q2729078) (← links)
- (Q2754117) (← links)
- An algorithm for reducing binary branchings (Q2956689) (← links)
- Test Generation for Network Security Rules (Q3434675) (← links)
- (Q4037092) (← links)
- (Q4037384) (← links)
- Adiabatic Perturbations of Solitons and Shock Waves (Q4491244) (← links)
- Ehrenfest theorem for nonlinear Klein-Gordon solitary waves (Q4491844) (← links)
- (Q4494380) (← links)
- Formal Approaches to Software Testing (Q5902016) (← links)
