scientific article; zbMATH DE number 2176488
From MaRDI portal
Publication:4679539
zbMATH Open1090.68536MaRDI QIDQ4679539FDOQ4679539
Authors: Uwe Rastofer
Publication date: 16 June 2005
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 2080772
- Compositional model for formal development of real-time systems design
- scientific article; zbMATH DE number 176150
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems
- scientific article; zbMATH DE number 1787170
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14) Theory of software (68N99)
Cited In (16)
- Research and application of predictable CER-real time Java developing model
- Model-based development of embedded systems: the SysWeaver approach
- Modular design of real-time systems using hierarchical communicating real-time state machines
- Title not available (Why is that?)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems
- Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Analyzing real-time systems: Theory and tools
- A component-based approach to the design of networked control systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
- Time-budgeting: a component based development methodology for real-time embedded systems
- A design flow for supporting component-based software development in multiprocessor real-time systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4679539)