Вы здесь

Главная

Xie F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Creation of Environment Models via Training 2004 Ball T., Levin V., Xie F. Lecture Notes in Computer Science 15.05.2004
СТ Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs 2002 Xie F., Browne J. C. Lecture Notes in Computer Science 15.05.2002
СТ Translating Software Designs for Model Checking 2004 Xie F., Levin V., Kurshan R. P., Browne J. C. Lecture Notes in Computer Science 16.04.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Intelligent Robotics and Applications, Part I: Proc./14th International Conference, ICIRA 2021, Yantai, China, October 2021 2021 Lecture Notes in Artificial Intelligence
  1. Liu X.-J.
  2. Nie Zh.
  3. Yu J.
  4. Xie F.
 21029 26.11.2021
СБ Intelligent Robotics and Applications, Part II: Proc./14th International Conference, ICIRA 2021, Yantai, China, October 2021 2021 Lecture Notes in Artificial Intelligence
  1. Liu X.-J.
  2. Nie Zh.
  3. Yu J.
  4. Xie F.
 21030 26.11.2021
СБ Intelligent Robotics and Applications, Part III: Proc./14th International Conference, ICIRA 2021, Yantai, China, October 2021 2021 Lecture Notes in Artificial Intelligence
  1. Liu X.-J.
  2. Nie Zh.
  3. Yu J.
  4. Xie F.
 21031 26.11.2021
СБ Intelligent Robotics and Applications, Part IV: Proc./14th International Conference, ICIRA 2021, Yantai, China, October 2021 2021 Lecture Notes in Artificial Intelligence
  1. Liu X.-J.
  2. Nie Zh.
  3. Yu J.
  4. Xie F.
 21032 26.11.2021