|
СТ |
Ada95 and Critical Systems: An Analytical Approach |
1996 |
Craigen D., Saaltink M., Michell S. |
Lecture Notes in Computer Science |
|
|
Reliable Software Technologies - Ada-Europe 96 |
09.10.1996 |
|
СТ |
The Role of Education and Training in the Industrial Application of Formal Methods |
1995 |
Ralston T., Gerhart S., Craigen D. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
The EVES System |
1993 |
Kromodimoeljo S., Pase B., Saaltink M., Craigen D., Meisels I. |
|
|
|
Lecture Notes in Computer Science |
05.08.1993 |
|
СТ |
Formal Methods Reality Check: Industrial Usage |
1993 |
Craigen D., Gerhart S., Ralston T. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
|
СТ |
An EVES Data Abstraction Example |
1993 |
Saaltink M., Kromodimoeljo S., Pase B., Craigen D., Meisels I. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
