Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings - Tapa blanda
Invited Papers.- Distributed Systems and Protocols.- Testing and Fault Detection.- Model Checking and State-Space Exploration.- Stochastic and Probabilistic Systems.
"Sinopsis" puede pertenecer a otra edición de este libro.