View of Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification

Return to Article Details Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification Download Download PDF