A formal framework for specification-based embedded real-time system engineering. Ouimet, M. Ph.D. Thesis, Massachusetts Institute of Technology, 2008. tex.ids= ouimetFormalFrameworkSpecificationbased2008a, ouimetFormalFrameworkSpecificationbased2008b, ouimetFormalFrameworkSpecificationbased2008c
bibtex   
@phdthesis{ouimet_formal_2008,
	type = {{PhD} {Thesis}},
	title = {A formal framework for specification-based embedded real-time system engineering},
	school = {Massachusetts Institute of Technology},
	author = {Ouimet, Martin},
	year = {2008},
	note = {tex.ids= ouimetFormalFrameworkSpecificationbased2008a, ouimetFormalFrameworkSpecificationbased2008b, ouimetFormalFrameworkSpecificationbased2008c},
}

Downloads: 0