The following pages link to MARTE (Q33626):
Displaying 10 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Dependability analysis of DES based on MARTE and UML state machines models (Q434473) (← links)
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (Q765470) (← links)
- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P (Q987973) (← links)
- Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing (Q993451) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)