View of Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification

Return to Article Details Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification Download Download PDF