Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - Softcover

 
9783319661773: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Softcover
ISBN 10: 3319661779 ISBN 13: 9783319661773
Verlag: Springer, 2017

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
3319661779
ISBN 13 
9783319661773
Einband
Paperback
Anzahl der Seiten
224
Herausgeber
Barkaoui Kamel, Boucheneb Hanifa, Mili Ali
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783319661759: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, ... Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  3319661752 ISBN 13:  9783319661759
Verlag: Springer, 2017
Softcover