Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan.
2018
QA76.758
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan.
ISBN
9783319901046
3319901044
9783319901039
3319901036
9783319901039
3319901044
9783319901039
3319901036
9783319901039
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Language
English
Description
1 online resource (x, 219 pages) : illustrations.
Item Number
10.1007/978-3-319-90104-6 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 10795.
Available in Other Form
Print version: 9783319901039
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Animation and prototyping
Graph theory
Model checking
Modeling and specification
Verification and validation.
Graph theory
Model checking
Modeling and specification
Verification and validation.