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

40

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.

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 Thierry Lecomte, Leila Ribeiro veröffentlicht 2016 bei Springer in den Kategorien Informationsmanagement, Computersimulationen, Informationstechnologie, Programmierung, Programmiersprachen, Softwareentwicklung, Logik

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
cover_image

von Clark Barrett, Misty Davies, Temesghen Kahsai veröffentlicht 2017 bei Springer in den Kategorien Informationstechnologie, Programmierung, Algorithmen, Programmiersprachen, Softwareentwicklung, Logik

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.
cover_image