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
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319661779
ISBN 13 
9783319661773
Binding
Paperback
Number of pages
224
Editor
Barkaoui Kamel, Boucheneb Hanifa, Mili Ali

Other Popular Editions of the Same Title

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)

Featured Edition

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