Searching for authors named "Pierre Michel" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Modular Specification and Structural Validation for a Distributed Architecture
- …, Pierre Michel ONERA-CERT/DTIM, BP 025, 2 avenue E. Belin, F-31055 Toulouse Codex 4, France E…
- Add To MetaCart
-
A Framework for Modular Formal Specification and Verification
- …A framework for modular formal specification and verification Pierre Michel and Virginie Wiels…
- Cited by 12 (6 self) – Add To MetaCart
-
A New Genetic Algorithm for the Multi-Classifiers Fusion Optimization
- … A new genetic algorithm for the multi-classifiers fusion optimization Pierre LOONIS Michel…
- Add To MetaCart
Showing 1 through 3.
