Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
-
- US$39.99
-
- US$39.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2017년
4월 20일
언어
EN
영어
길이
249
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
5.8
MB
Formal Techniques for Safety-Critical Systems
2015년
Formal Methods: Foundations and Applications
2017년
Formal Methods and Software Engineering
2016년
Formal Methods and Software Engineering
2015년
Structured Object-Oriented Formal Language and Method
2015년
Formal Methods and Software Engineering
2017년
Software Fault Prevention, Verification, and Validation
2025년
Agile-SOFL
2024년
Structured Object-Oriented Formal Language and Method
2023년
Structured Object-Oriented Formal Language and Method
2020년
Structured Object-Oriented Formal Language and Method
2019년
Structured Object-Oriented Formal Language and Method
2018년