Cover Image
Read Now

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

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 submiss...

Full description

Bibliographic Details
Other Authors: Liu, Shaoying (Editor), Duan, Zhenhua (Editor), Liu, Ai (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2023, 2023
Edition:1st ed. 2023
Series:Lecture Notes in Computer Science
Subjects:
Microprogramming 
Computer Communication Networks
Computer Systems
Operating Systems
Software Engineering
Computer System Implementation
Operating Systems (computers)
Computer Networks 
Control Structures And Microprogramming
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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.
Physical Description:XII, 151 p. 59 illus., 24 illus. in color online resource
ISBN:9783031294761

Similar Items