A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

Ralph Peter Weissnegger, Markus Schuß, Martin Schachner, Kay Uwe Römer, Markus Pistauer, Christian Steger

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Conference

Conference21st European Conference on Pattern Languages of Programs, EuroPLoP 2016
CountryGermany
CityKaufbeuren
Period6/07/1610/07/16

Cite this

A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud. / Weissnegger, Ralph Peter; Schuß, Markus; Schachner, Martin; Römer, Kay Uwe; Pistauer, Markus; Steger, Christian.

Proceedings. 2016.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Weissnegger, RP, Schuß, M, Schachner, M, Römer, KU, Pistauer, M & Steger, C 2016, A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud. in Proceedings. 21st European Conference on Pattern Languages of Programs, EuroPLoP 2016, Kaufbeuren, Germany, 6/07/16.
@inproceedings{2aeb94346ded403db533e8887d33ed6d,
title = "A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud",
author = "Weissnegger, {Ralph Peter} and Markus Schu{\ss} and Martin Schachner and R{\"o}mer, {Kay Uwe} and Markus Pistauer and Christian Steger",
year = "2016",
month = "6",
day = "7",
language = "English",
booktitle = "Proceedings",

}

TY - GEN

T1 - A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

AU - Weissnegger,Ralph Peter

AU - Schuß,Markus

AU - Schachner,Martin

AU - Römer,Kay Uwe

AU - Pistauer,Markus

AU - Steger,Christian

PY - 2016/6/7

Y1 - 2016/6/7

M3 - Conference contribution

BT - Proceedings

ER -