An Operational Semantics for Simulink's Simulation Engine (bibtex)
by Olivier Bouissou, Alexandre Chapoutot
Reference:
O. Bouissou, A. Chapoutot, "An Operational Semantics for Simulink's Simulation Engine", in Languages, Compilers and Tools for Embeddeed Systems, ACM, 2012.
Bibtex Entry:
@inproceedings{BC12,
	Author = {Bouissou, Olivier and Chapoutot, Alexandre},
	Booktitle = {Languages, Compilers and Tools for Embeddeed
                  Systems},
	Publisher = {ACM},
	Title = {An Operational Semantics for Simulink's Simulation
                  Engine},
	Year = {2012}
}
Powered by bibtexbrowser