Automated Technology for Verification and Analysis, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moo...
Das Buch "Automated Technology for Verification and Analysis" dokumentiert die referierten Beiträge des 6. Internationalen Sy... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Automated Technology for Verification and Analysis" dokumentiert die referierten Beiträge des 6. Internationalen Symposiums zur automatisierten Technologie für Verifikation und Analyse, das im Oktober 2008 in Seoul, Korea, stattfand. Es umfasst 21 überarbeitete Volltexte, 5 Kurzbeiträge und 7 Werkzeugpapiere, die aus insgesamt 82 Einreichungen sorgfältig ausgewählt wurden. Der Schwerpunkt liegt auf theoretischen Methoden zur Gewährleistung der Korrektheit von Software- und Hardware-Systemen, wobei sowohl funktionale als auch nicht-funktionale Aspekte behandelt werden. Darüber hinaus werden Anwendungen der Theorie in ingenieurtechnischen Methoden und spezifischen Bereichen sowie die Bewältigung praktischer Probleme in Werkzeugen thematisiert. Die Beiträge sind in thematische Abschnitte unterteilt, die Modellprüfung, Softwareverifikation, Entscheidungsverfahren, lineare Zeitanalysen, Werkzeugdemonstrationen, zeitabhängige und stochastische Systeme sowie theoretische Ansätze und Kurzbeiträge umfassen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer