The theory of timed I/O automata
2nd ed.
Our rough guess is there are 34,500 words in this book.
At a pace averaging 250 words per minute, this book will take 2 hours and 18 minutes to read. With a half hour per day, this will take 5 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
We earn a commission on purchases
Author
Publication
2011 - Morgan & Claypool, San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), California
Language
English
Word Count
34,500 words, Guess
Page Count
138 pages
Physical Format
Electronic resource
Identifiers
- Open LibraryOL25544067M
- ISBN-139781608450039
Classifications
- DDC511.3
- LCCQA267.5.T45 T447 2011
Alternate Titles
- Synthesis digital library of engineering and computer science.
Description
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which make it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior.
Subjects
Series Statement
- Synthesis lectures on distributed computing theory -- # 5
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!