Вы здесь
Barnard D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Solution Relying on the Model Checking of Boolean Transition Systems | 1996 | Cuellar J., Barnard D., Huber M. | Lecture Notes in Computer Science | 24.12.1996 | |||
СТ | Combining the Design of Industrial Systems with Effective Verification Techniques | 1994 | Cuellar J., Wildgruber I., Barnard D. | Lecture Notes in Computer Science | 14.12.1994 |