×

zbMATH — the first resource for mathematics

Languages and tools for hybrid systems design. (English) Zbl 1143.68346
See the review in Zbl 1107.68385

MSC:
68M99 Computer system organization
68U20 Simulation (MSC2010)
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite
Full Text: DOI