|
СТ |
Minimally and Maximally Abstract Retrenchments |
2002 |
Jeske C., Banach R. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Controlling Control Systems: An Application of Evolving Retrenchment |
2002 |
Poppelton M., Banach R. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Maximally Abstract Retrenchments |
2000 |
Banach R. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
Fragmented Retrenchment, Concurrency and Fairness |
2000 |
Banach R., Poppleton M. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
Retrenchment: An Engineering Variation on Refinement |
1998 |
Banach R., Poppleton M. |
|
|
|
Lecture Notes in Computer Science |
17.06.1998 |
