Searching for authors named "Fabrice Baray" – sorted by Relevance.
-
Validation of Functional Processor Descriptions by Test Generation
- Validation of functional processor descriptions by test generation Fabrice Baray - ST
- Add To MetaCart
-
Verification in the Codesign process by means of LOTOS based model-checking
- Verication in the Codesign process by means of Lotos based model-checking Fabrice Baray and Pierre
- Add To MetaCart
-
Code-based Test Generation for Validation of
- Code-based Test Generation for Validation of Functional Processor Descriptions Fabrice Baray 1
- Add To MetaCart

