Dataset - CKAN

Functional Validation of AADL Models via Model Transformation to SystemC with...

6 pages
- HTML
ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE ...

International audience
- HTML
Transformation des diagrammes d'activités SysML1.2 vers les réseaux de Petri ...

Rapport de stage
- HTML
Challenging Development of a Humanized Mouse Model for Evaluating the HTLV-1 ...

Human T-cell Leukemia Virus type 1 (HTLV-1) is the etiologic agent of the Adult T-cell Leukemia (ATL), an aggressive lymphoproliferation of activated CD4+ T cells. The...
- HTML
FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION

7 pages
- HTML
Using model engineering for the criticality analysis of reconfigurable manufa...

23 pages
- HTML
The combination of arsenic, interferon-alpha, and zidovudine restores an "imm...

International audience
- HTML

You can also access this registry using the API (see API Docs).