Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. Yeganefard, S., Butler, M. J., & Rezazadeh, A. In NASA Formal Methods, pages 182–191, 2010.
bibtex   
@inproceedings{yeganefard_evaluation_2010,
	title = {Evaluation of a {Guideline} by {Formal} {Modelling} of {Cruise} {Control} {System} in {Event}-{B}},
	booktitle = {{NASA} {Formal} {Methods}},
	author = {Yeganefard, Sanaz and Butler, Michael J. and Rezazadeh, Abdolbaghi},
	year = {2010},
	keywords = {⛔ No DOI found},
	pages = {182--191},
}

Downloads: 0