Practical formal specification for embedded control systems. Iwu, F., Galloway, A., Toyn, I., & McDermid, J. IFAC Proceedings Volumes, 37(4):165–170, 2004. publisher: Elsevier
doi  bibtex   
@article{iwu_practical_2004,
	title = {Practical formal specification for embedded control systems},
	volume = {37},
	doi = {10/ghvz5j},
	number = {4},
	journal = {IFAC Proceedings Volumes},
	author = {Iwu, Frantz and Galloway, Andy and Toyn, Ian and McDermid, John},
	year = {2004},
	note = {publisher: Elsevier},
	pages = {165--170},
}

Downloads: 0