Embedded Systems Design Based on Formal Models of Computation

DOI10.1007/978-94-007-1594-3zbMath1236.68003OpenAlexW603233673WikidataQ58800149 ScholiaQ58800149MaRDI QIDQ3009352

Ivan Radojevic, Zoran Salcic

Publication date: 24 June 2011

Full work available at URL: https://doi.org/10.1007/978-94-007-1594-3

zbMATH Keywords

heterogeneityembedded systemslanguagessystem specificationDFCharts

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07)

This page was built for publication: Embedded Systems Design Based on Formal Models of Computation