How to Verify a Safe Real-Time System. The Application of Model Checking and a Timed Automata to the Production Cell Case Study
A. Burns
No Abstract Available
Download Not Available
BibTex Entry
@techreport{Burns1998a,
abstract = {},
author = {A. Burns},
institution = {Department of Computer Science, University of York},
number = {YCS-309},
title = {How to Verify a Safe Real-Time System. The Application of Model Checking and a Timed Automata to the Production Cell Case Study},
year = {1998}
}