Preprint
Verifying Real-Time Systems using Explicit-time Description Methods
Abstract
Timed model checking has been extensively researched in recent years. Many
new formalisms with time extensions and tools based on them have been
Authors
Wang H; MacCaull W
Publication date
December 9, 2009
DOI
10.48550/arxiv.0912.1903
Preprint server
arXiv