Verification of a Radio-Based Signaling System Using the...

Formal Methods in System Design 2001 / 09 Vol. 19; Iss. 2

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment

Werner Damm, Jochen Klose
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:
19
Language:
english
Pages:
21
DOI:
10.1023/a:1011279932612
Date:
September, 2001
File:
PDF, 1.11 MB
english, 2001
Conversion to is in progress
Conversion to is failed