000			01952nam a2200397Ia 4500
000			03390nam a22004215i 4500
001			978-3-031-29476-1
003			DE-He213
005			20240319120849.0
007			cr nn 008mamaa
008			230324s2023 sz | s |||| 0|eng d
020			_a9783031294761 _9978-3-031-29476-1
082			_a5.1
245			_aStructured Object-Oriented Formal Language and Method _cedited by Shaoying Liu, Zhenhua Duan, Ai Liu. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer International Publishing _c2023
300			_aXII, 151 p. 59 illus., 24 illus. in color. _bonline resource.
520			_aThis 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. .
650			_aComputer Communication Networks. _930948
650			_aComputer networks . _930949
650			_aComputer System Implementation. _930950
650			_aComputer systems. _930951
650			_aComputers, Special purpose. _930952
650			_aControl Structures and Microprogramming. _930953
650			_aMicroprogramming . _930954
650			_aOperating systems (Computers). _930955
650			_aOperating Systems. _930956
650			_aSoftware engineering. _930957
650			_aSoftware Engineering. _930958
650			_aSpecial Purpose and Application-Based Systems. _930959
700			_aDuan, Zhenhua. _930960
700			_aLiu, Ai. _930961
700			_aLiu, Shaoying. _930962
856			_uhttps://doi.org/10.1007/978-3-031-29476-1
942			_cEBK _2ddc
999			_c15173 _d15173