Вы здесь

Majster-Cederbaum M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Refinement of actions for real-time concurrent systems with casual ambiguity 2006 Majster-Cederbaum M., Wu J., Yue H. Acta Informatica 29.04.2006
СТ Towards Action Refinement for True Concurrent Real Time 2003 Majster-Cederbaum M., Wu J. Acta Informatica 19.09.2003
СТ Action Refinement from a Logical Point of View 2003 Majster-Cederbaum M., Zhan N., Fecher H. Lecture Notes in Computer Science 31.01.2003
СТ Correctness by Construction: Towards Verification in Hierarchical System Development 2000 Majster-Cederbaum M., Salger F. Lecture Notes in Computer Science 26.09.2000