{"_id":"44xMwdbs4rJeu5wuX","bibbaseid":"ouimet-aformalframeworkforspecificationbasedembeddedrealtimesystemengineering-2008","author_short":["Ouimet, M."],"bibdata":{"bibtype":"phdthesis","type":"PhD Thesis","title":"A formal framework for specification-based embedded real-time system engineering","school":"Massachusetts Institute of Technology","author":[{"propositions":[],"lastnames":["Ouimet"],"firstnames":["Martin"],"suffixes":[]}],"year":"2008","note":"tex.ids= ouimetFormalFrameworkSpecificationbased2008a, ouimetFormalFrameworkSpecificationbased2008b, ouimetFormalFrameworkSpecificationbased2008c","bibtex":"@phdthesis{ouimet_formal_2008,\n\ttype = {{PhD} {Thesis}},\n\ttitle = {A formal framework for specification-based embedded real-time system engineering},\n\tschool = {Massachusetts Institute of Technology},\n\tauthor = {Ouimet, Martin},\n\tyear = {2008},\n\tnote = {tex.ids= ouimetFormalFrameworkSpecificationbased2008a, ouimetFormalFrameworkSpecificationbased2008b, ouimetFormalFrameworkSpecificationbased2008c},\n}\n\n","author_short":["Ouimet, M."],"key":"ouimet_formal_2008","id":"ouimet_formal_2008","bibbaseid":"ouimet-aformalframeworkforspecificationbasedembeddedrealtimesystemengineering-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","framework","specification","based","embedded","real","time","system","engineering","ouimet"],"title":"A formal framework for specification-based embedded real-time system engineering","year":2008}