Nuclear Electric's contribution to the CONTESSE Testing Framework and its Early Application

J May, G Hughes

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Nuclear Electric's contribution to the CONTESSE Testing Framework and its Early Application
Original language	English
Title of host publication	Unknown
Publisher	Springer
Pages	25 - 34
Number of pages	9
ISBN (Print)	3540199225
Publication status	Published - 1995

Conference Proceedings/Title of Journal: Procs. 3rd Safety-Critical Systems Symposium

Access to Document

@inproceedings{daf6cea726334677a1ebdc2858ad8399,

title = "Nuclear Electric's contribution to the CONTESSE Testing Framework and its Early Application",

author = "J May and G Hughes",

note = "Conference Proceedings/Title of Journal: Procs. 3rd Safety-Critical Systems Symposium",

year = "1995",

language = "English",

isbn = "3540199225",

pages = "25 -- 34",

booktitle = "Unknown",

publisher = "Springer",

address = "United States",

}