|
СТ |
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 |
