Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alain Faivre
Symbolic Model Based Testing for Component Oriented Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Météor: A Successful Application of B in a Large Project
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model-Based Software Testing for Object-Oriented Software
E-Learning
Computer Science Applications
Education
Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Driven Information Flow Security for Component-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Testing of Probabilistic Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Hierarchical Model to Develop Component-Based Systems
A Logical Basis for Component-Oriented Software and Systems Engineering
Computer Journal
Computer Science
Model-Based Testing for Concurrent Systems With Labelled Event Structures
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
