Smart Home Model Verification with AnimUML (Poster)

Frédéric Jouault; Ciprian Teodorov; Matthias Brun

Smart Home Model Verification with AnimUML (Poster)

Frédéric Jouault
, Ciprian Teodorov
, Matthias Brun

ENSTA

ESEO-TECH

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

langue originale	Anglais
journal	CEUR Workshop Proceedings
Volume	3250
état	Publié - 1 janv. 2022
Evénement	STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022 - Nantes, France Durée: 5 juil. 2022 → 8 juil. 2022

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{f3a026fbc10b4213b67d55cb9f7dc4a3,

title = "Smart Home Model Verification with AnimUML (Poster)",

keywords = "model verification, smart home, UML",

author = "Fr{\'e}d{\'e}ric Jouault and Ciprian Teodorov and Matthias Brun",

year = "2022",

month = jan,

day = "1",

language = "English",

volume = "3250",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022 ; Conference date: 05-07-2022 Through 08-07-2022",

}

TY - JOUR

T1 - Smart Home Model Verification with AnimUML (Poster)

AU - Jouault, Frédéric

AU - Teodorov, Ciprian

AU - Brun, Matthias

PY - 2022/1/1

Y1 - 2022/1/1

KW - model verification

KW - smart home

KW - UML

UR - https://www.scopus.com/pages/publications/85141194704

M3 - Conference article

AN - SCOPUS:85141194704

SN - 1613-0073

VL - 3250

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022

Y2 - 5 July 2022 through 8 July 2022

ER -