Verification of timed automata with deadlines in Uppaal :: Rodolfo Gomez :: Computing Laboratory, University of Kent 2008 :: OBNB, the Open British National Bibliography

Publication Data

Title Verification of timed automata with deadlines in Uppaal
Author Rodolfo Gomez
Contributor
Publisher Computing Laboratory, University of Kent
Publication date 2008
Publication location Canterbury
Language English

Descriptive Notes

"Computer science at Kent."

Topics

Real-time control

Catalogue Data

OBNB ID GBA884355
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 003.83

ISBD

P1053 32 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Verification of timed automata with deadlines in Uppaal by Rodolfo Gomez. Published by Computing Laboratory, University of Kent in 2008. Publication and catalogue information, links to buy online and reader comments.