Verification of Sampled-Data Systems using Coq. Ricketts, D. Ph.D. Thesis, eScholarship, University of California, 2017.
Verification of Sampled-Data Systems using Coq [link]Paper  bibtex   
@phdthesis{ricketts_verification_2017,
	type = {{PhD} {Thesis}},
	title = {Verification of {Sampled}-{Data} {Systems} using {Coq}},
	url = {http://www.escholarship.org/uc/item/5n1899s2},
	language = {English},
	school = {eScholarship, University of California},
	author = {Ricketts, Daniel},
	year = {2017},
	keywords = {Verification},
}

Downloads: 0