Structured Object-Oriented Formal Language and Method 1

Data & IT

Structured Object-Oriented Formal Language and Method

Shaoying Liu • Zhenhua Duan • Ai Liu

Pocket

819:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 909:-

151 sidor
2023

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .

Författare: Shaoying Liu, Zhenhua Duan, Ai Liu
Format: Pocket/Paperback
ISBN: 9783031294754
Språk: Engelska
Antal sidor: 151
Utgivningsdatum: 2023-03-25
Förlag: Springer International Publishing AG