Вы здесь
Xie F.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | 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 | |||
СТ | 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 | |||
СТ | Automatic Creation of Environment Models via Training | 2004 | Ball T., Levin V., Xie F. | Lecture Notes in Computer Science | 15.05.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Intelligent Robotics and Applications, Part IV: Proc./14th International Conference, ICIRA 2021, Yantai, China, October 2021 | 2021 | Lecture Notes in Artificial Intelligence |
|
21032 | 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 |
|
21031 | 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 |
|
21030 | 26.11.2021 | ||
СБ | Intelligent Robotics and Applications, Part I: Proc./14th International Conference, ICIRA 2021, Yantai, China, October 2021 | 2021 | Lecture Notes in Artificial Intelligence |
|
21029 | 26.11.2021 |