Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-Paul Bodeveix
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Verification of AADL Models Using UPPAAL
Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip
Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic Engineering
Engineering
Electrical
An Ocarina Extension for AADL Formal Semantics Generation
Incremental Validation of Formal Specifications
Having Fun in Learning Formal Specifications
EasyChair Preprints
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of EB3 Specifications Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Testing Refinements of State‐based Formal Specifications
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
