© 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)}, }