The following pages link to Pierre-Alain Masson (Q539224):
Displaying 12 items.
- Generating tests from B specifications and dynamic selection criteria (Q539227) (← links)
- (Q1023283) (redirect page) (← links)
- Partitioned PLTL model-checking for refined transition systems (Q1023285) (← links)
- (Q2216862) (redirect page) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and quantum Fourier transform (Q2687188) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Generating Tests from B Specifications and Test Purposes (Q3535370) (← links)
- (Q4471931) (← links)
- (Q4494240) (← links)
- Approximating Event System Abstractions by Covering Their States and Transitions (Q4989673) (← links)
- Contextuality degree of quadrics in multi-qubit symplectic polar spaces (Q6368801) (← links)
