Formal modelling and analysis of fault tolerance properties in the time-triggered architecture. Pfeifer, H. & Von Henke, F. W. In 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 2004. Citeseer.
bibtex   
@inproceedings{pfeifer_formal_2004,
	title = {Formal modelling and analysis of fault tolerance properties in the time-triggered architecture},
	booktitle = {5th {Symposium} on {Formal} {Methods} for {Automation} and {Safety} in {Railway} and {Automotive} {Systems}},
	publisher = {Citeseer},
	author = {Pfeifer, Holger and Von Henke, Friedrich W.},
	year = {2004},
	keywords = {⛔ No DOI found},
}

Downloads: 0