Verification of timed automata with deadlines in Uppaal
ShareCopied to clipboardVerification of timed automata with deadlines in Uppaal is a book. It was written by Rodolfo Gomez and published by Computing Laboratory, University of Kent in 2008.
Key facts
- author: Rodolfo Gomez
- publication date: 2008
- book publisher: Computing Laboratory, University of Kent
- book series: Technical report
- book subjects: Real-time control
See more factsExtract data
Download datasets about Verification of timed automata with deadlines in Uppaal:
Dataset of books series that contain Verification of timed automata with deadlines in Uppaal
"Verification of timed automata with deadlines in Uppaal" is one of the books by Rodolfo Gomez, books by Computing Laboratory, University of Kent and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.