Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Titre

BSO - Titre

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

DOI

DOAI

Identifiant WoS

WOS:000413238000006

Accès ouvert

OA - Non

Source - Accès ouvert

OA - Non

Type d'accès

Non OA

Editeur

SCITEPRESS - Science and Technology Publications

Source

MODELSWARD: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT

Type de document

Notoriété

0 - Sans notoriété

CNRS

Oui

CNRS - Institut

Poids de l’Open access dans la production CNRS