Verification of Design Decisions in ForSyDe

Conference Object

Abstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specifica

Palabras claves:

Design refinement, System design, Verification

Autores:

Ingo Sander, Jantsch A., Raudvere T., Singh A.

Fuentes:

scopus