Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antoine Siriani
Validation of Asynchronous Circuit Specifications Using IF/CADP
Related publications
Verification of EB3 Specifications Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Designing to Digital Wireless Specifications Using Circuit Envelope Simulation
Executable Interface Specifications for Testing Asynchronous Creol Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Validation of Formal Specifications
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysis and Validation of Learning Technology Models, Standards and Specifications
International Journal of IT Standards and Standardization Research
A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD Tool
ECTI Transactions on Computer and Information Technology
Electronic Engineering
Information Systems
Computer Networks
Communications
Management
Electrical
Using IF .. ELSE (2)
