Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.

Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
 Book
Sofort lieferbar | Lieferzeit:3-5 Tage I
ISBN-13:
9783319661759
Einband:
Book
Erscheinungsdatum:
01.08.2017
Seiten:
203
Autor:
Kamel Barkaoui
Gewicht:
373 g
Format:
238x159x18 mm
Serie:
10466, Lecture Notes in Computer Science
Sprache:
Englisch
Beschreibung:

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.
¿This book constitutes the proceedings of the 11th International Conference International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.