Processes, interfaces and platforms. Embedded software modeling in Metropolis

DOI10.1007/3-540-45828-X_30MaRDI QIDQ4439612zbMATH OpenFDO

Authors Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe

Publication date 14 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2491/24910407.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Compositional modeling in Metropolis
• Modeling and designing heterogeneous systems
• scientific article; zbMATH DE number 2080766
• Embedded software and systems: Challenges and approaches. (Abstract)
• scientific article; zbMATH DE number 1408162

Cited in

(3)

• Modeling and designing heterogeneous systems
• scientific article; zbMATH DE number 2080766 (Why is no real title available?)
• Automated Technology for Verification and Analysis

This page was built for publication: Processes, interfaces and platforms. Embedded software modeling in Metropolis

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