Verification and Evaluation of Computer and Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, » książka
Invited Papers.- Distributed Systems and Protocols.- Testing and Fault Detection.- Model Checking and State-Space Exploration.- Stochastic and Probabilistic Systems.