Adelsberger, Stephan, Moser, Markus, Savenkov, Vadim. 2018. Formal Verification for Feature-Based Composition of Workflows. 2018 14th European Dependable Computing Conference (EDCC).
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
| Status of publication | Published |
|---|---|
| Affiliation | WU |
| Type of publication | Journal article |
| Journal | 2018 14th European Dependable Computing Conference (EDCC) |
| Language | English |
| Title | Formal Verification for Feature-Based Composition of Workflows |
| Year | 2018 |
| URL | http://xplorestaging.ieee.org/ielx7/8529146/8530741/08530780.pdf?arnumber=8530780 |
| DOI | http://dx.doi.org/10.1109/edcc.2018.00039 |
| Open Access | N |
Associations
- People
- Adelsberger, Stephan (Details)
- Moser, Markus (Details)
- Savenkov, Vadim (Former researcher)
- Organization
- Institute for Information Systems and New Media IN (Details)