Liu, Shaoying.

概要

作品:	1 作品在 9 項出版品 1 種語言

書目資訊

Software fault prevention, verification, and validationfirst International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024 : proceedings / by: (1998 :); Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (1998 :); Lawford, Mark.; Liu, Shaoying.; Ogata, Kazuhiro.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Ai.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Agile-SOFLagile formal engineering method / by: Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (1998 :); Araki, Keijiro.; Liu, Shaoying.; Maibaum, Tom.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (1998 :); Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

主題