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

Structured Object-Oriented Formal Language and Method

  • E-Book (pdf)
  • 205 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal L... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 59.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 workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.

Due to the Corona pandemic this event was held virtually.



Inhalt

Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.

Produktinformationen

Titel: Structured Object-Oriented Formal Language and Method
Untertitel: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Editor:
EAN: 9783030774745
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 205
Veröffentlichung: 03.06.2021
Dateigrösse: 18.8 MB

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