Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.

Book details

Series:
Lecture Notes in Computer Science (Book 10189)
Author:
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
ISBN:
9783319577081
Related ISBNs:
9783319577074
Publisher:
Springer International Publishing
Pages:
N/A
Reading age:
Not specified
Includes images:
Yes
Date of addition:
2018-10-07
Usage restrictions:
Copyright
Copyright date:
2017
Copyright by:
Springer International Publishing, Cham 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction