Вы здесь
Rodriguez I.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formal Specification of Symbolic-Probabilistic Systems | 2004 | Lopez N., Nunez M., Rodriguez I. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.12.2004 | ||
| СТ | Towards Testing Stochastic Timed Systems | 2003 | Nunez M., Rodriguez I. | Lecture Notes in Computer Science | 26.12.2003 | |||
| СТ | Encoding PAMR into (Timed) EFSMs | 1900 | Nunez M., Rodriguez I. | Lecture Notes in Computer Science | 29.11.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Service-Oriented Computing: Proc./17th International Conference, ICSOC 2019, Toulouse, France, October 2019 | 2019 | Lecture Notes in Computer Science |
|
22.11.2019 |