On the Use of VDM++ for Specifying Real-Time Systems. Verhoef, M. Proc. First Overture workshop, University of Newcastle-Upon-Tyne, Centre for Software Reliability, November, 2005. bibtex @ARTICLE{Verhoef05,
KEY = "Verhoef05",
AUTHOR = "Marcel Verhoef",
TITLE = "{On the Use of {VDM++} for Specifying Real-Time Systems}",
JOURNAL = "Proc. First Overture workshop",
PUBLISHER = "University of Newcastle-Upon-Tyne, Centre for Software Reliability",
YEAR = "2005",
MONTH = "November",
COMMENT = "I have the proceedings PGL"}
%G VDM VDM++ VDMRT OVERTURE
Downloads: 0
{"_id":"QxSzerwagYraL3C4q","bibbaseid":"verhoef-ontheuseofvdmforspecifyingrealtimesystems-2005","downloads":0,"creationDate":"2015-06-29T10:05:17.542Z","title":"On the Use of VDM++ for Specifying Real-Time Systems","author_short":["Verhoef, M."],"year":2005,"bibtype":"article","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","bibdata":{"bibtype":"article","type":"article","key":"Verhoef05","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"On the Use of VDM++ for Specifying Real-Time Systems","journal":"Proc. First Overture workshop","publisher":"University of Newcastle-Upon-Tyne, Centre for Software Reliability","year":"2005","month":"November","comment":"I have the proceedings PGL","bibtex":"@ARTICLE{Verhoef05,\n KEY = \"Verhoef05\",\n AUTHOR = \"Marcel Verhoef\",\n TITLE = \"{On the Use of {VDM++} for Specifying Real-Time Systems}\",\n JOURNAL = \"Proc. First Overture workshop\",\n PUBLISHER = \"University of Newcastle-Upon-Tyne, Centre for Software Reliability\",\n YEAR = \"2005\",\n MONTH = \"November\",\n COMMENT = \"I have the proceedings PGL\"}\n\n%G VDM VDM++ VDMRT OVERTURE\n","author_short":["Verhoef, M."],"id":"Verhoef05","bibbaseid":"verhoef-ontheuseofvdmforspecifyingrealtimesystems-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["use","vdm","specifying","real","time","systems","verhoef"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}