Skip to main content

From hybrid data−flow languages to hybrid automata: a complete translation

Peter Schrammel and Bertrand Jeannet

Book Title
Hybrid Systems: Computation and Control‚ HSCC'12
Pages
167−176
Publisher
ACM
Year
2012