Quotation Adelsberger, Stephan, Moser, Markus, Savenkov, Vadim. 2018. Formal Verification for Feature-Based Composition of Workflows. 2018 14th European Dependable Computing Conference (EDCC).


RIS


BibTeX

Tags

Press 'enter' for creating the tag

Publication'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)
Google Scholar: Search