Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods. FM 2019 International Workshops

  • E-Book (pdf)
  • 523 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019,... Weiterlesen
CHF 97.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.



Inhalt

AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability.- DataMod 2019: 8th International Symposium From Data to Models and Back.- FMAS 2019: First Formal Methods for Autonomous Systems Workshop.- FMBC 2019: First Workshop on Formal Methods for Blockchains.- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.

Produktinformationen

Titel: Formal Methods. FM 2019 International Workshops
Untertitel: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Editor:
EAN: 9783030549947
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 12.08.2020
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 37.79 MB
Anzahl Seiten: 523

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"