Tous les ebooks de Dilsun K. Kaynar en PDF


1  résultat(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...

Parution : 2022-12-06
Format(s) : PDF
Éditeur : Springer
Collection : Synthesis Lectures on Computer Science
J'achète
32,53 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés