Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering.

Vladimir Estivill-Castro, Ren Hexel

Browse the full ENASE paper archive.