Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Liu, Shaoying.

Overview
Works: 1 works in 6 publications in 1 languages
Titles
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying.; SpringerLink (Online service) (Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: Nagoya, Fumiko.; Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service); Xue, Jinyun. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: SpringerLink (Online service); Liu, Shaoying.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service) (Language materials, printed)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / by: Tian, Cong.; SpringerLink (Online service); Duan, Zhenhua.; Nagoya, Fumiko.; Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: SpringerLink (Online service); Maibaum, Tom.; Araki, Keijiro.; Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying. (Language materials, printed)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by: SpringerLink (Online service); Duan, Zhenhua.; Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: Liu, Shaoying.; Workshop on the Preservation of Stability under Discretization ((2001 :); Duan, Zhenhua.; SpringerLink (Online service) (Language materials, printed)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: SpringerLink (Online service); Lawford, Mark.; Ogata, Kazuhiro.; Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying. (Language materials, printed)
Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / by: Duan, Zhenhua.; SpringerLink (Online service); Liu, Shaoying. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Show more
 
 
Change password
Login