Static Analysis of Simulink Programs (bibtex)
by Alexandre Chapoutot, Matthieu Martel
Reference:
A. Chapoutot, M. Martel, "Static Analysis of Simulink Programs", in Model-driven High-level Programming of Embedded Systems (SLA++P'08).
Bibtex Entry:
@inproceedings{CM08-1,
	Author = {Chapoutot, Alexandre and Martel, Matthieu},
	Booktitle = {{Model-driven High-level Programming of Embedded
                  Systems (SLA++P'08)}},
	Series = {ENTCS},
	Title = {{Static Analysis of Simulink Programs}},
	Year = {2008}
}
Powered by bibtexbrowser