Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

LOGHI, Mirko

MARGARIA T

PRAVADELLI G

STEFFEN B.