Вы здесь
Kowalewski S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Reliability-Oriented Product Line Engineering of Embedded Systems | 2002 | Auerswald M., Herrmann M., Kowalewski S., Schulte-Coerne V. | Lecture Notes in Computer Science | 14.06.2002 | |||
| СТ | Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control | 1996 | Kowalewski S., Preussig J. | Lecture Notes in Computer Science | 24.04.1996 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods for Industrial Critical Systems: Proc./15th International Workshop, FMICS 2010, Antwerp, Belgium, September 2010 | 2010 | Lecture Notes in Computer Science |
|
12.01.2011 | |||
| СБ | Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009 | 2009 | Lecture Notes in Computer Science |
|
15.05.2009 |