Languages and Tools for Hybrid Systems Design

DOI10.1561/1000000001zbMath1143.68346OpenAlexW4205958241WikidataQ57380586 ScholiaQ57380586MaRDI QIDQ5900264

Roberto Passerone, Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli

Publication date: 1 September 2008

Published in: Foundations and Trends® in Electronic Design Automation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1561/1000000001

Mathematics Subject Classification ID

Related Items (1)

Analysis of Linear Hybrid Systems in CLP

Uses Software

• Mathematica
• Scilab
• TAXYS
• SPIN
• Simulink
• Modelica

This page was built for publication: Languages and Tools for Hybrid Systems Design