Languages and Tools for Hybrid Systems Design
From MaRDI portal
Publication:5900264
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
This page was built for publication: Languages and Tools for Hybrid Systems Design