Titlebook: Structured Object-Oriented Formal Language and Method; 6th International Wo Shaoying Liu,Zhenhua Duan,Fumiko Nagoya Conference proceedings

放大

Conference proceedings 2017 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. .

Negligible