Specifying Abstract user Interface in VDM-SL
Specifying Abstract user Interface in VDM-SL
复制标题
在 VDM-SL 中指定抽象用户界面
DOI:
--
复制
发表时间:
2020
期刊:
影响因子:
--
通讯作者:
Peter Gorm Larsen
中科院分区:
文献类型:
--
作者:
Tomohiro Oda;Keijiro Araki;Yasuhiro Yamamoto;Kumiyo Nakakoji;Han-Myung Chang;Peter Gorm Larsen
登录
查看更多内容
DOI:
--
发表时间:
2018
期刊:
--
影响因子:
--
作者:
Christian Linn;Phileas Zimmermann;Dirk Werth
通讯作者:
Dirk Werth
DOI:
10.1016/j.compind.2022.103721
发表时间:
2022
期刊:
Comput. Ind.
影响因子:
--
作者:
Simone Agostinelli;Marco Lupia;Andrea Marrella;Massimo Mecella
通讯作者:
Massimo Mecella
DOI:
--
发表时间:
2021
期刊:
International Conference on Business Process Management
影响因子:
--
作者:
E. Klijn;F. Mannhardt;Dirk Fahland
通讯作者:
Dirk Fahland
DOI:
10.1007/978-3-030-91431-8_5
发表时间:
2021
期刊:
--
影响因子:
--
作者:
Simone Agostinelli;F. Leotta;Andrea Marrella
通讯作者:
Andrea Marrella
DOI:
10.48550/arxiv.2207.12054
发表时间:
2022
期刊:
ArXiv
影响因子:
--
作者:
Luka Abb;Jana
通讯作者:
Jana