Вы здесь
Joseph M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Stepwise Development of Fault-Tolerant Reactive Systems | 1994 | Liu Z., Joseph M. | Lecture Notes in Computer Science | 19.10.1994 | |||
| СТ | A Compositional Approach for Fault-Tolerance Using Specification Transformation | 1993 | Peled D., Joseph M. | Lecture Notes in Computer Science | 29.07.1993 | |||
| СТ | Problems, Promises and Performance: Some Questions for Real-Time System Specification | 1992 | Joseph M. | Lecture Notes in Computer Science | 08.08.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Software Engineering Approaches for Offshore and Outsourced Development: Revised Papers/1st International Conference, SEAFOOD 2007. Zurich, Switzerland, February 2007 | 2007 | Lecture Notes in Computer Science |
|
07.01.2008 | |||
| СБ | Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./6th Intern. Symp., FTRTFT 2000, Pune, India, September 2000 | 2000 | Lecture Notes in Computer Science |
|
25.10.2000 |