DocumentCode

2605946

Title

Executable Assertions - An Aid To Reliable Software

Author

Saib, S.H.

fYear

1977

fDate

7-9 Nov 1977

Firstpage

277

Lastpage

281

Keywords

Fault detection; Fault tolerance; Programming profession; Projectiles; Protection; Testing; Upper bound;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits, Systems and Computers, 1977. Conference Record. 1977 11th Asilomar Conference on

ISSN

1058-6393

Type

conf

DOI

10.1109/ACSSC.1977.748932

Filename

748932