book_cover  Zur Leseprobe

Formal Modeling and Analysis of Timed Systems

von , 2017 bei Springer

Kategorien: Computersimulationen, Informationstechnologie, Programmierung, Algorithmen, Programmiersprachen, Softwareentwicklung, Logik

Verlag

Springer

ISBN E-Book

978-3-319-65765-3

ISBN Printausgabe

978-3-319-65764-6

Format

E-Book

Datum der Veröffentlichung

September 2017

Sprache

Englisch

Bewertungen

(noch nicht bewertet)

Aufrufe

15

Keine Beschreibung verfügbar.

Komponente 1

Komponente 2

Komponente 3

Komponente 4 (Verfügbar nach Kauf / Miete)

Komponente 5 (Verfügbar nach Kauf / Miete)

Komponente 6 (Verfügbar nach Kauf / Miete)

Komponente 7 (Verfügbar nach Kauf / Miete)

Komponente 8 (Verfügbar nach Kauf / Miete)

Komponente 9 (Verfügbar nach Kauf / Miete)

Komponente 10 (Verfügbar nach Kauf / Miete)

von Bernhard K. Aichernig , Carlo A. Furia veröffentlicht 2016 bei Springer in den Kategorien Computersimulationen, Informationstechnologie, Programmierung, Programmiersprachen, Softwareentwicklung, Logik

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
cover_image