Formal Verification for Feature-Based Composition of Workflows
Formal Verification for Feature-Based Composition of Workflows
复制标题
基于特征的工作流组合的形式化验证
DOI：
10.1109/edcc.2018.00039
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Adelsberger S
中科院分区：
文献类型：
--
作者：
Adelsberger S
登录
查看更多内容
声明式 GUI：简单、一致且经过验证
DOI：
--
发表时间：
2018
期刊：
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
影响因子：
--
作者：
Stephan Adelsberger;A. Setzer;Eric Walkingshaw
通讯作者：
Eric Walkingshaw
影响因子：
16.6
作者：
Thuem, Thomas;Apel, Sven;Saake, Gunter
通讯作者：
Saake, Gunter
DOI：
10.1145/234528.234736
发表时间：
1996-06
期刊：
ACM Comput. Surv.
影响因子：
--
作者：
U. Reddy
通讯作者：
U. Reddy
DOI：
10.1145/2491411.2491437
发表时间：
2013-08
期刊：
--
影响因子：
--
作者：
Jörg Liebig;Alexander von Rhein;Christian Kästner;S. Apel;Jens Dörre;C. Lengauer
通讯作者：
Jörg Liebig;Alexander von Rhein;Christian Kästner;S. Apel;Jens Dörre;C. Lengauer
使用 Idris 进行类型驱动开发
影响因子：
1.1
作者：
Jan de Muijnck
通讯作者：
Jan de Muijnck