© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report
P.H. Welch
Technical report, Royal Society/SERC Industrial Fellowship (B/IF/43), June 1985.Bibtex Record
@techreport{239,
author = {P.H. Welch},
title = {{The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report}},
month = {June},
year = {1985},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1985/239},
author_ids = {phw},
institution = {Royal Society/SERC Industrial Fellowship (B/IF/43)},
}