All ebooks by Roberto Segala in PDF
Readzis program recommandation

All ebooks by Roberto Segala in PDF


2  Book(s)
Download this eBook The Theory of Timed I/O Automata
Add to my wish list

The Theory of Timed I/O Automata

Dilsun K. Kaynar , Nancy Lynch , Roberto Segala , Frits Vaandrager

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...

Publication date: 2022-12-06
Format: PDF
Publisher: Springer
Collection: Synthesis Lectures on Computer Science
Add to basket
£27,99
Download this eBook The Theory of Timed I/O Automata, Second Edition
Add to my wish list

The Theory of Timed I/O Automata, Second Edition

Dilsun Kaynar , Nancy Lynch , Roberto Segala , Frits Vaandrager

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...

Publication date: 2022-06-01
Format: PDF
Publisher: Springer
Collection: Synthesis Lectures on Distributed Computing Theory
Add to basket
£27,99

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved