Temporal logic of programs
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Task sequencing language for specifying distributed Ada systems
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
Ada for distributed systems
Secure and verifiable schemes for election and general distributed computing problems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
A simple approach to specifying concurrent systems
Communications of the ACM
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Proving specifications of tasking systems using Ada/TL
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Application of Ada on a distributed missile control system
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Implementing a distributed fault-tolerant embedded system in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
ADA for Specification: Possibilities and Limitations
ADA for Specification: Possibilities and Limitations
A verification helper for task specifications
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
| Hi-index | 0.00 |