@inproceedings{DBLP:conf/icftcs/BurfordB84,
author = {M. A. J. Burford and
Fevzi Belli},
title = {CADAS: A tool for designing reliable embedded software and
supporting testing 'in the large'},
booktitle = {Fehlertolerierende Rechensysteme},
year = {1984},
pages = {101-126},
crossref = {DBLP:conf/icftcs/1984},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icftcs/1984,
editor = {Karl-Erwin Gro{\ss}pietsch and
Mario Dal Cin},
title = {Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung,
Bonn, 19.-21. September 1984, Proceedings},
booktitle = {Fehlertolerierende Rechensysteme},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {84},
year = {1984},
isbn = {3-540-13348-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
