Formal verification of implementations of Stateflow charts - White Rose eTheses Online. Alvaro Miyazawa Ph.D. Thesis.
Formal verification of implementations of Stateflow charts - White Rose eTheses Online [link]Paper  bibtex   
@phdthesis{alvaro_miyazawa_formal_nodate,
	title = {Formal verification of implementations of {Stateflow} charts - {White} {Rose} {eTheses} {Online}},
	url = {http://etheses.whiterose.ac.uk/2353/},
	urldate = {2021-01-28},
	author = {{Alvaro Miyazawa}},
}

Downloads: 0