Results 251 to 260 of about 1,442,598 (260)
Some of the next articles are maybe not open access.

Detection of Ada static deadlocks using Petri net invariants

IEEE Transactions on Software Engineering, 1989
S M Shatz
exaly  

Towards complexity metrics for Ada tasking

IEEE Transactions on Software Engineering, 1988
S M Shatz
exaly  

An overview of Ada

Software - Practice and Experience, 1980
exaly  

Program verification and Ada

IEE Proceedings E: Computers and Digital Techniques, 1982
exaly  

Ada and software re-use

Software Engineering Journal, 1988
exaly  

Home - About - Disclaimer - Privacy