Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
authFullName_s : Behrooz Nobakht
Image document

Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht , Stijn De Gouw , Frank Boer
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers hal-01757576v1
Image document

On the Integration of Automatic Deployment into the ABS Modeling Language

Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers hal-01757558v1