Item Details

A Survey of Tools for Model Checking and Model-Based Development

Strunk, Elisabeth; Aiello, Anthony; Knight, John
Format
Report
Author
Strunk, Elisabeth
Aiello, Anthony
Knight, John
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 2006
Published Date
2006
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online