Вы здесь

Lano 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
СТ A Semantic Comparison of Fusion and Syntropy 2001 Lano K., France R., Bruel J. -M. The Computer J. 18.05.2001
СТ Reactive System Refinement of Distributed Systems in B 1999 Lano K., Androutsopoulos K. IFM 99 31.01.2001
СТ Structuring Reactive Systems in B AMN 2000 Lano K., Androusopoulos K., Kan P. Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 26.12.2000
СТ 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
СТ Rigorous Development in UML 1999 Lano K., Evans A. Lecture Notes in Computer Science 06.04.1999
СТ Integrating VDM++ and Real-Time System Design 1997 Lano K., Goldsack S., Bicarregui J., Kent S. Lecture Notes in Computer Science 15.04.1997
СТ Specifying Reactive Systems in B AMN 1997 Lano K. Lecture Notes in Computer Science 15.04.1997
СТ Annealing and Data Decomposition in VDM++ 1996 Goldsack S. J., Lano K., Durr E. H. SIGPLAN Notices 11.09.1996
СТ Reactive System Specification and Refinement 1995 Lano K. Lecture Notes in Computer Science 20.06.1995
СТ Set Theoretic Foundations for Fuzzy Set Theory, and their Applications 1992 Lano K. Lecture Notes in Computer Science 06.08.1992
СТ Reasoning and Refinement in Object-Oriented Specification Languages 1992 Lano K., Haughton H. Lecture Notes in Computer Science 25.07.1992