Module Isolation for Efficient Model Checking: and its Application to FMEA in Model-driven Engineering
Conference Title
ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
Publisher URI
Subject
Adaptive Agents and Intelligent Robotics