{"_id":"PaCrAnf9c7iCzv8eE","authorIDs":[],"author_short":["Mori, T."],"bibbaseid":"mori-formalmodellingandsafetyanalysisofanembeddedcontrolsystemforconstructionequipmentanindustrialcasestudyusingvdm-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Mori10","author":[{"firstnames":["Takayuki"],"propositions":[],"lastnames":["Mori"],"suffixes":[]}],"editor":[{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]}],"title":"Formal Modelling and Safety Analysis of an Embedded Control System for Construction Equipment: an Industrial Case Study using VDM","booktitle":"Proceedings of the 9th Overture Workshop","address":"Limerick, Ireland","year":"2011","month":"June","annote":"","comment":"BIB PGL","bibtex":"@INPROCEEDINGS{Mori10,\n KEY = \"Mori10\",\n AUTHOR = \"Takayuki Mori\",\n EDITOR = \"Sune Wolff and John Fitzgerald\",\n TITLE = \"Formal Modelling and Safety Analysis of an Embedded\n Control System for Construction Equipment: an\n Industrial Case Study using VDM\",\n BOOKTITLE = \"Proceedings of the 9th Overture Workshop\",\n ADDRESS = \"Limerick, Ireland\",\n YEAR = \"2011\",\n MONTH = \"June\",\n ANNOTE = \"\",\n COMMENT = \"BIB PGL\"}\n\n%G VDM TOOL OML OVERTURE\n","author_short":["Mori, T."],"editor_short":["Wolff, S.","Fitzgerald, J."],"id":"Mori10","bibbaseid":"mori-formalmodellingandsafetyanalysisofanembeddedcontrolsystemforconstructionequipmentanindustrialcasestudyusingvdm-2011","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.376Z","downloads":0,"keywords":[],"search_terms":["formal","modelling","safety","analysis","embedded","control","system","construction","equipment","industrial","case","study","using","vdm","mori"],"title":"Formal Modelling and Safety Analysis of an Embedded Control System for Construction Equipment: an Industrial Case Study using VDM","year":2011,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}