مؤتمر
Formal Verification for Feature-Based Composition of Workflows
العنوان: | Formal Verification for Feature-Based Composition of Workflows |
---|---|
المؤلفون: | Adelsberger, Stephan, Igried, Bashar, Moser, Markus, Savenkov, Vadim, Setzer, Anton |
المصدر: | 2018 14th European Dependable Computing Conference (EDCC) EDCC Dependable Computing Conference (EDCC), 2018 14th European. :173-181 Sep, 2018 |
Relation: | 2018 14th European Dependable Computing Conference (EDCC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781538680605 |
---|---|
DOI: | 10.1109/EDCC.2018.00039 |