Login / Signup
Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter.
Cécile Braunstein
Emmanuelle Encrenaz
Published in:
IEEE International Workshop on Rapid System Prototyping (2006)
Keyphrases
</>
design process
case study
lightweight
software architecture
incremental learning
engineering design
formal analysis
metamodel
control method