Ebooks de Dilsun K. Kaynar en PDF

1 Livre(s)
Télécharger le livre : The Theory of Timed I/O Automata
Ajouter à ma liste d'envies
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...

Editeur : Springer
Parution : 2022-12-06
Collection : Synthesis Lectures on Computer Science
PDF

32,53 €