Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohamed F. Chouikha
Test Generation for Very High-Level Design Language (VHDL) Specifications Used in Avionics
Related publications
VHDL Generation From SDL Specifications
Real-Time Java API Specifications for High Coverage Test Generation
High Level Preprocessor of a VHDL-based Design System
RIDDLE: A Foundation for Test Generation on a High-Level Design Description
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Test Generation Based on Symbolic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computer-Aided Design of Fuzzy Systems Based on Generic VHDL Specifications
IEEE Transactions on Fuzzy Systems
Control
Systems Engineering
Applied Mathematics
Mathematics
Computational Theory
Artificial Intelligence
Mutation of Model Checker Specifications for Test Generation and Evaluation
Avionics Design for a Sub-Scale Fault- Tolerant Flight Control Test-Bed
Recommended Technical Specifications for First Generation Test Surface and Subsurface Markers
