Embedded systems design based on formal models of computation
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) 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)
Recommendations
Cited in
(16)- A consistent design methodology for wireless embedded systems
- An algebraic theory for behavioral modeling and protocol synthesis in system design
- Refinement preserving approximations for the design and verification of heterogeneous systems
- Towards two-level formal modeling of computer-based systems
- scientific article; zbMATH DE number 2130685 (Why is no real title available?)
- Rialto 2.0: A language for heterogeneous computations
- Embedded Systems Handbook, Second Edition
- Approximating Behaviors in Embedded System Design
- scientific article; zbMATH DE number 1955871 (Why is no real title available?)
- scientific article; zbMATH DE number 1955910 (Why is no real title available?)
- scientific article; zbMATH DE number 2080747 (Why is no real title available?)
- scientific article; zbMATH DE number 2080763 (Why is no real title available?)
- scientific article; zbMATH DE number 804561 (Why is no real title available?)
- scientific article; zbMATH DE number 1408162 (Why is no real title available?)
- scientific article; zbMATH DE number 1408164 (Why is no real title available?)
- High-performance embedded computing: Architectures, applications and methodologies
This page was built for publication: Embedded systems design based on formal models of computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3009352)
