The Theory Of Timed I/O Automata

by Nancy Lynch, Frits Vaandrager, Dilsun Kaynar e Roberto Segala
language: english
Publisher: MORGAN & CLAYPOOL PUBLISHERS, December of 2010 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
Presents the Timed Input/Output Automaton (TIOA) modelling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control.

The Theory Of Timed I/O Automata

by Nancy Lynch, Frits Vaandrager, Dilsun Kaynar e Roberto Segala

Property Description
ISBN: 9781608450022
Publisher: MORGAN & CLAYPOOL PUBLISHERS
Release Date: December of 2010
Language: English
Cover: Softcover
Pages: 137
Format: Book
Categories: Books in English > Computing > Other Applications
Books in English > Computing > Introduction to Computing
EAN: 9781608450022