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