Digital hardware/software-systems. Specification and verification.

DOI10.1007/978-3-642-05356-6MaRDI QIDQ5851416zbMATH OpenOpenAlexFDO

Authors Christian Haubelt, Jürgen Teich

Publication date 21 January 2010

Published in eXamen.press (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-05356-6

zbMATH Keywords

embedded systemsfinite automatahardwarePetri netssoftwareverification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal system verification. State-of the-art and future trends
• scientific article; zbMATH DE number 1390911
• scientific article; zbMATH DE number 1330907
• Functional Verification of Programmable Embedded Architectures
• Digital design. An embedded systems approach using Verilog

Cited in

(7)

• System-level validation. High-level modeling and directed test generation techniques.
• Functional Verification of Programmable Embedded Architectures
• Digitale Hardware/Software-Systeme
• scientific article; zbMATH DE number 1091993 (Why is no real title available?)
• scientific article; zbMATH DE number 2017337 (Why is no real title available?)
• scientific article; zbMATH DE number 1390911 (Why is no real title available?)
• Languages for embedded systems and their applications. Selected contributions on specification, design, and verification from FDL'08, Stuttgart, Germany, September 23--25, 2008

This page was built for publication: Digital hardware/software-systems. Specification and verification.

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