Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings - Softcover
Invited Papers.- Distributed Systems and Protocols.- Testing and Fault Detection.- Model Checking and State-Space Exploration.- Stochastic and Probabilistic Systems.
"synopsis" may belong to another edition of this title.