Using a formal specification and a model checker to monitor and direct simulation release_u2rbyb6255bslc3d3kfw2q7t7q

by Serdar Tasiran, Yuan Yu, Brannon Batson

Released as a paper-conference by ACM Press.

2003  

Archived Files and Locations

application/pdf  561.2 kB
file_wapfg4svcje4xfvh7jp7vilp6e
web.archive.org (webarchive)
www.cs.york.ac.uk (web)
application/pdf  416.7 kB
file_miebdrnsvzae7icz27kabbkjcq
web.archive.org (webarchive)
web.archive.org (webarchive)
network.ku.edu.tr (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   unknown
Year   2003
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 29935138-ebe0-468d-ab46-b8a40283b8d3
API URL: JSON