Conference Presentation, ASRR 2010: Metamodeling – Enabled Model Checking for Complex Systems

Title:  Metamodeling – Enabled Model Checking for Complex Systems

Author:  Prof. Nenad Medvidovic, Dr. George Edwards

Event: Annual SERC Research Review 2010

Date:  November, 2010

Collaborators