Model-Based Development of Embedded Systems: The SysWeaver Approach

DOI10.1007/978-1-4020-6254-4_3zbMath1189.93020OpenAlexW4251625807MaRDI QIDQ3564013

Raj Rajkumar

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_3

zbMATH Keywords

real-timecouplersembeddedsemantic dimensionsemantic separationsoftware-through-models

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Uses Software

• Unnamed Item
• Simulink

This page was built for publication: Model-Based Development of Embedded Systems: The SysWeaver Approach