A design method for embedded software systems

DOI10.1007/BF01941126MaRDI QIDQ921962zbMATH OpenOpenAlexFDO

Authors Anders P. Ravn, Hans Rischel, Hans Henrik Loevengreen

Publication date 1988

Published in BIT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01941126

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Communicating sequential processes
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3660782 (Why is no real title available?)
• scientific article; zbMATH DE number 3997152 (Why is no real title available?)
• Monitors
• The Vienna development method: The meta-language

This page was built for publication: A design method for embedded software systems

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