Вы здесь
Auguston M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Iterative Constructs in the Visual Data Flow Language | 1997 | Auguston M., Delgado A. | Proc. of 1997 IEEE Symp. on Visual Languages | 18.03.1998 | |||
| СТ | Towards Fully Automatic Execution Monitoring | 2004 | Jeffery C., Auguston M., Underwood S. | Lecture Notes in Computer Science | 28.04.2004 | |||
| СТ | Synthesis of Monitors for Real-Time Analysis of Reactive Systems | 2008 | Auguston M., Trakhtenbrot M. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 15.04.2008 |