A Platform-independent Component Modeling Language for distributed real-time and embedded systems
From MaRDI portal
Recommendations
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- scientific article; zbMATH DE number 2176488
- Generators for synthesis of QoS adaptation in distributed real-time embedded systems
- Modeling and schedulability analysis of hard real-time distributed systems based on Ada components
Cited in
(4)- Generators for synthesis of QoS adaptation in distributed real-time embedded systems
- scientific article; zbMATH DE number 2176488 (Why is no real title available?)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
This page was built for publication: A Platform-independent Component Modeling Language for distributed real-time and embedded systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q858319)