Module Isolation for Efficient Model Checking: and its Application to FMEA in Model-driven Engineering
No Thumbnail Available
File version
Author(s)
Estivill-Castro, Vladimir
Hexel, Rene
Hexel, Rene
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Filipe, J
Maciaszek, L
Date
2013
Size
File type(s)
Location
Angers, FRANCE
License
Journal Title
Conference Title
ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Adaptive Agents and Intelligent Robotics