Вы здесь

Klar M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study 1998 Busssow R., Geisler R., Klar M. Lecture Notes in Computer Science 18.04.1998
СТ How to Cope with the Spectrum of Spectrum 1995 Wolter U., Didrich K., Cornelius F., Klar M., Wessaly R., Ehrig H. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995