Generating Reliable Code from Hybrid-Systems Models

DOI10.1109/TC.2010.84MaRDI QIDQ5280712zbMATH OpenOpenAlexFDO

Authors Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee

Publication date 27 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2010.84

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of software (68N99)

Cited in

(1)

• Synthesizing SystemC Code from Delay Hybrid CSP

This page was built for publication: Generating Reliable Code from Hybrid-Systems Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5280712)