Вы здесь
Zhan N.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Action Refinement from a Logical Point of View | 2003 | Majster-Cederbaum M., Zhan N., Fecher H. | Lecture Notes in Computer Science | 31.01.2003 | |||
| СТ | Combining Hierarchical Specification with Hierarchical Implementation | 2003 | Zhan N. | Lecture Notes in Computer Science | 14.01.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Dependable Software Engineering: Theories, Tools, and Applications: Proc./2nd International Symposium, SETTA 2016, Beijing, China, November 2016 | 2016 | Lecture Notes in Computer Science |
|
22.11.2016 | |||
| СБ | Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021 | 2021 | Lecture Notes in Computer Science |
|
20.12.2021 | |||
| СБ | Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday | 2018 | Lecture Notes in Computer Science |
|
27.11.2018 |