Image from Google Jackets

Structured Object-Oriented Formal Language and Method edited by Shaoying Liu, Zhenhua Duan, Ai Liu. [electronic resource] :

Contributor(s): Material type: TextTextPublication details: Cham Springer International Publishing 2023Edition: 1st ed. 2023Description: XII, 151 p. 59 illus., 24 illus. in color. online resourceISBN:
  • 9783031294761
Subject(s): DDC classification:
  • 5.1
Online resources: 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. .
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Notes Date due Barcode Item holds
e-Book e-Book S. R. Ranganathan Learning Hub Online Available Platform:Springer EB2159
Total holds: 0

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

There are no comments on this title.

to post a comment.