MARTE
From MaRDI portal
Software:33626
No author found.
Related Items (10)
Formalising concurrent UML state machines using coloured Petri nets ⋮ Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata ⋮ Dependability analysis of DES based on MARTE and UML state machines models ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems ⋮ An architectural approach to the analysis, verification and validation of software intensive embedded systems ⋮ An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P ⋮ Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing ⋮ A metamodel for the design of polychronous systems ⋮ A COTS-based approach for estimating performance and energy consumption of embedded real-time systems ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints
This page was built for software: MARTE
