Вы здесь

Главная

Liu Sh.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Approach to Integration Testing Based on Data Flow Specifications 2005 Chen Y., Liu Sh., Nagoya F. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ An Automated Rigorous Review Method for Verifying and Validating Formal Specifications 2004 Liu Sh. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.2005

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021 2021 Lecture Notes in Computer Science
  1. Xue J.
  2. Nagoya F.
  3. Liu Sh.
  4. Duan Zh.
 20.08.2021
СБ Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019 2020 Lecture Notes in Computer Science
  1. Miao H.
  2. Tian C.
  3. Liu Sh.
  4. Duan Zh.
 18.03.2020
СБ Structured Object-Oriented Formal Language and Method: Revised Selected Papers/5th International Workshop, SOFL+MSVL 2015, Paris, France, November 2015 2016 Lecture Notes in Computer Science
  1. Liu Sh.
  2. Duan Z.
 29.04.2016
СБ Structured Object-Oriented Formal Language and Method: Revised Selected Papers/2nd International Workshop, SOFL 2012, Kyoto, Japan, November 2012 2013 Lecture Notes in Computer Science
  1. Liu Sh.
 07.10.2013
СБ Formal Methods and Software Engineering: Proc./10th International Conference on Formal Engineering Methods, ICFEM 2008. Kitakyushu-City, Japan, October 2008 2008 Lecture Notes in Computer Science
  1. Liu Sh.
  2. Maibaum T.
  3. Araki K.
 27.01.2009