Login / Signup
A Practical Framework for Specification, Verification, and Design of Self-Timed Pipelines.
Jean Simatic
Abdelkarim Cherkaoui
François Bertrand
Rodrigo Possamai Bastos
Laurent Fesquet
Published in:
ASYNC (2017)
Keyphrases
</>
formal verification
main contribution
formal methods
design principles
conceptual framework
practical guidelines
conceptual model
case study
functional verification
computational framework
theoretical framework
design patterns
computer aided
modelling language
multi agent
databases
highly modular