The following pages link to Marie-Claude Gaudel (Q391417):
Displayed 24 items.
- (Q174080) (redirect page) (← links)
- A new dichotomic algorithm for the uniform random generation of words in regular languages (Q391418) (← links)
- Test selection for traces refinement (Q481094) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317) (← links)
- Testing algebraic data types and processes: A unifying theory (Q1125424) (← links)
- (Q2729904) (← links)
- (Q2771764) (← links)
- Specification Coverage for Testing in Circus (Q3055737) (← links)
- Unifying Theories in Isabelle/HOL (Q3055747) (← links)
- (Q3197342) (← links)
- (Q3339264) (← links)
- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming (Q3585022) (← links)
- (Q3657411) (← links)
- (Q3939221) (← links)
- (Q4138062) (← links)
- (Q4692801) (← links)
- (Q4692802) (← links)
- (Q4702591) (← links)
- Testing can be formal, too (Q5096726) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)
- Exception Handling: Formal Specification and Systematic Program Construction (Q5184387) (← links)
- FM 2005: Formal Methods (Q5716882) (← links)
- Dynamical systems with implicit state (Q5930823) (← links)