Towards Model Checking of Simulation Models for Embedded System Development.

Hae Young Lee

Browse the full ICPADS paper archive.