Item Details

Print View

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
2012-10-29
Published
University of Virginia, Department of Computer Science, 2006
Published Date
2006
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online