Entdecken Sie die neuesten Erkenntnisse zur Verifikation von Computersystemen aus der VECoS‑Konferenz 2018 in Grenoble, Frankreich. Das Buch liefert praxisnahe Analysen, Modellierungstechniken und Testmethoden für moderne Kommunikations- und Rechensysteme.