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 paperpeer-review

Filter
Finished

Search results