{"_id":"ACQPxpkwatcxGkxSy","bibbaseid":"iwu-galloway-toyn-mcdermid-practicalformalspecificationforembeddedcontrolsystems-2004","author_short":["Iwu, F.","Galloway, A.","Toyn, I.","McDermid, J."],"bibdata":{"bibtype":"article","type":"article","title":"Practical formal specification for embedded control systems","volume":"37","doi":"10/ghvz5j","number":"4","journal":"IFAC Proceedings Volumes","author":[{"propositions":[],"lastnames":["Iwu"],"firstnames":["Frantz"],"suffixes":[]},{"propositions":[],"lastnames":["Galloway"],"firstnames":["Andy"],"suffixes":[]},{"propositions":[],"lastnames":["Toyn"],"firstnames":["Ian"],"suffixes":[]},{"propositions":[],"lastnames":["McDermid"],"firstnames":["John"],"suffixes":[]}],"year":"2004","note":"publisher: Elsevier","pages":"165–170","bibtex":"@article{iwu_practical_2004,\n\ttitle = {Practical formal specification for embedded control systems},\n\tvolume = {37},\n\tdoi = {10/ghvz5j},\n\tnumber = {4},\n\tjournal = {IFAC Proceedings Volumes},\n\tauthor = {Iwu, Frantz and Galloway, Andy and Toyn, Ian and McDermid, John},\n\tyear = {2004},\n\tnote = {publisher: Elsevier},\n\tpages = {165--170},\n}\n\n","author_short":["Iwu, F.","Galloway, A.","Toyn, I.","McDermid, J."],"key":"iwu_practical_2004","id":"iwu_practical_2004","bibbaseid":"iwu-galloway-toyn-mcdermid-practicalformalspecificationforembeddedcontrolsystems-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["practical","formal","specification","embedded","control","systems","iwu","galloway","toyn","mcdermid"],"title":"Practical formal specification for embedded control systems","year":2004}