The following pages link to (Q4679539):
Displaying 9 items.
- Time-budgeting: a component based development methodology for real-time embedded systems (Q736795) (← links)
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (Q765470) (← links)
- A design flow for supporting component-based software development in multiprocessor real-time systems (Q777051) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems (Q858319) (← links)
- Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution (Q862528) (← links)
- A component-based approach to the design of networked control systems (Q2512106) (← links)
- Analyzing real-time systems: Theory and tools (Q2763538) (← links)