EMFeR: Model Checking for Object Oriented (EMF) Models
EMFeR: Model Checking for Object Oriented (EMF) Models
复制标题
EMFeR：面向对象 (EMF) 模型的模型检查
DOI：
10.5220/0007681605130520
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
A. Zündorf
中科院分区：
文献类型：
--
作者：
C. Eickho;M. Lange;S.-L. Raesch;A. Zündorf
Scenarios@run.time - 物联网连接机器人规范的分布式执行
DOI：
--
发表时间：
2015
期刊：
Models@run.time
影响因子：
--
作者：
Joel Greenyer;D. Gritzner;T. Gutjahr;Tim Duente;Stefan Dulle;F. Deppe;Nils Glade;Marius Hilbich;F. König;Jannis Luennemann;Nils Prenner;K. Raetz;Thilo Schnelle;Martin Singer;Nicolas Tempelmeier;Raphael Voges
通讯作者：
Raphael Voges
TTC2016 班级责任分配案例的 SDMLib 解决方案
DOI：
--
发表时间：
2016
期刊：
TTC@STAF
影响因子：
--
作者：
C. Eickhoff;Lennert Raesch;Albert Zündorf
通讯作者：
Albert Zündorf