مؤتمر
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 |