Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, ... Notes in Computer Science, Band 11181)
Erforscht die neuesten Ansätze zur Verifikation von Computersystemen aus der VECoS‑Konferenz 2018 in Grenoble, Frankreich; bietet praxisnahe Modell ...