Publikationen
« zurück zur Übersicht
|
|
Titel: | ComCert: Automated Certification of Cloud-based Business Processes |
Publikationstyp: | Originalarbeiten in wissenschaftlichen Fachzeitschriften |
Autoren: | Accorsi R, Lowis L |
Erscheinungsjahr: | 2010 |
Journal: | ERCIM News |
Band: | 83 |
Seiten: | 50 - |
URL/DOI: | http://ercim-news.ercim.e[...]ies/EN83/EN83-web.pdf |