© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An Object-Based Approach to Modelling and Analysis of Failure Properties
M. Cepin, R. de Lemos, B. Mavko, S. Riddle, and A. Saeed
In P. Daniel, editor, Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), pages 182-196, York, UK, September 1997. Springer-Verlag, Berlin, Germany.Bibtex Record
@inproceedings{936,
author = {M. Cepin and R. de Lemos and B. Mavko and S. Riddle and A. Saeed},
title = {{An Object-Based Approach to Modelling and Analysis of Failure Properties}},
month = {September},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/936},
address = {York, UK},
booktitle = {Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97)},
editor = {P. Daniel},
publication_type = {inproceedings},
publisher = {Springer-Verlag, Berlin, Germany},
submission_id = {775_945167268},
}