Digitale Hardware/Software-Systeme

DOI10.1007/978-3-642-05356-6zbMath1206.68188OpenAlexW134049795MaRDI QIDQ5851416

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

softwareverificationPetri netsembedded systemsfinite automatahardware

Mathematics Subject Classification ID

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

This page was built for publication: Digitale Hardware/Software-Systeme