Publication

Metamodeling – Enabled Model Checking for Complex Systems

Publication Date: November, 2010
Event: Annual SERC Research Review 2010
Lead Authors:
Dr. George Edwards
Dr. Nenad Medvidovic