A UML/MARTE Model Analysis Approach for Detection of Concurrency Faults

doi 10.22215/etd/2011-09481
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Carleton University

Related search

Executing AADL Models With UML/MARTE

2009English

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL

2014English

Dealing With AADL End-To-End Flow Latency With UML MARTE

2008English

UML Model to Fault Tree Model Transformation for Dependability Analysis

English

Automatically Deriving a UML Analysis Model From a Use Case Model

English

A Validation Technique for UML Activity Model

International Journal of Computer Applications
2015English

A Hybrid Approach for Camera-Model Detection

International Journal of Security and its Applications
Computer Science
2015English

MARTE Based Modeling Approach for Partial Dynamic Reconfigurable FPGAs

2008English

Automatic Generation of S-Lam Descriptions From UML/MARTE for the DSE of Massively Parallel Embedded Systems

Studies in Computational Intelligence
Artificial Intelligence
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy