Вы здесь

Androutsopoulos K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ UML to B: Formal Verification of Object-Oriented Models 2004 Lano K., Clark D., Androutsopoulos K. Lecture Notes in Computer Science 21.05.2004
СТ From Implicit Specifications to Explicit Designs in Reactive System Development 2002 Lano K., Clark D., Androutsopoulos K. Lecture Notes in Computer Science 21.06.2002
СТ Reactive System Refinement of Distributed Systems in B 1999 Lano K., Androutsopoulos K. IFM 99 31.01.2001
СТ Structuring and Design of Reactive Systems Using RSDS and B 2000 Lano K., Androutsopoulos K., Clark D. Lecture Notes in Computer Science 25.04.2000