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

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Journal	CEUR Workshop Proceedings
Volume	3250
Publication status	Published - 1 Jan 2022
Event	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 Duration: 5 Jul 2022 → 8 Jul 2022

Keywords

model verification
smart home
UML

Cite this

@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 -

Smart Home Model Verification with AnimUML (Poster)

Keywords

Other files and links

Cite this