Design and Runtime Verification Side-by-Side in eTrice.

Sudeep Kanav Levi Lúcio Christian Hilden Thomas Schuetz

Published in: NFM (2019)

Keyphrases

design process
computer aided
case study
building blocks
design decisions
design methodology
formal verification
database
real time
real world
genetic algorithm
multimedia
multiscale
design principles
design tools