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.

Tian, Cong.; Nagoya, Fumiko.; Liu, Shaoying.; Duan, Zhenhua.

doi:10.1007/978-3-319-90104-6

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.

Tian, Cong. editor.; Nagoya, Fumiko. editor.; Liu, Shaoying. editor.; Duan, Zhenhua. editor.

2018

QA76.758

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

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

DOI

https://doi.org/10.1007/978-3-319-90104-6

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

Added Author

Tian, Cong. editor.
Nagoya, Fumiko. editor.
Liu, Shaoying. editor.
Duan, Zhenhua. editor.

Series

Lecture notes in computer science ; 10795.

Available in Other Form

Print version: 9783319901039

Linked Resources

Online Access