Tous les livres numériques de la collection "Synthesis Lectures on Distributed Computing Theory" - Springer

1 Livre(s)
Télécharger le livre : The Theory of Timed I/O Automata, Second Edition
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...

Editeur : Springer
Parution : 2022-06-01
Collection : Synthesis Lectures on Distributed Computing Theory PDF

34,80 €
Téléchargement immédiat
Dès validation de votre commande