Validation of Embedded Systems Using Formal Method Aided Simulation.

Daniel Karlsson, Petru Eles, Zebo Peng

Browse the full DSD paper archive.