An Approach to Determine & Apply Solutions to Solve Detected Problems in Restructured Deployment Models using First-order Logic.

Karoline Saatkamp, Uwe Breitenbcher, Michael Falkenthal, Lukas Harzenetter, Frank Leymann

Browse the full CLOSER paper archive.