yr 〜
yr

Search results 5

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)
Paper図書
Springer[2017]<M17-20-376>
National Diet Library
  • Author Heading... Tokyo, Japan) Liu, Shaoying, 1960- Duan, Zhenhua. Tian, Cong. Na...

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)
Paper図書
Springerc2014.<M17-14-2116>
National Diet Library
  • Author HeadingSOFL+MSVL 2013 (3rd : 2013 : Queenstown, N.Z.) Liu, Shaoying, 1960- Duan, Zhenhua.

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)
Paper図書
Springer[2016]<M17-19-540>
National Diet Library
  • Author Heading...Lawford, Mark. Liu, Shaoying, 1960- 法政大学

Structured object-oriented formal language and method : second international workshop, SOFL 2012 : Kyoto, Japan, November 13, 2012 : revised selected papers : WSOFL 2012 workshop : mini tutorial on SOFL : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7787)

Structured object-oriented formal language and method : second international workshop, SOFL 2012 : Kyoto, Japan, November 13, 2012 : revised selected papers : WSOFL 2012 workshop : mini tutorial on SOFL : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7787)
Paper図書
Springerc2013.<M17-14-535>
National Diet Library
  • Author Heading... Kyoto, Japan) Liu, Shaoying, 1960- Hosei University. Shaoying Li...

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)
Paper図書
New Yorkc2008.<M17-09-1169>
National Diet Library
  • Author HeadingLiu, Shaoying, 1960- Maibaum, Thomas S. E., 1947- ...

Reached to the end of result.