Specifying and proving properties of timed I/O automata...

Design Automation for Embedded Systems 2008 / 06 Vol. 12; Iss. 1-2

Specifying and proving properties of timed I/O automata using Tempo

Myla Archer, Hongping Lim, Nancy Lynch, Sayan Mitra, Shinya Umeno
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
12
Language:
english
Pages:
32
DOI:
10.1007/s10617-008-9022-2
Date:
June, 2008
File:
PDF, 3.65 MB
english, 2008
Conversion to is in progress
Conversion to is failed