Showing 1 - 2 results of 2 for search 'Reiner Hähnle', query time: 0.03s Refine Results
  1. 1
    Prototyping Formal System Models with Active Objects

    Prototyping Formal System Models with Active Objects by Eduard Kamburjan, Reiner Hähnle

    Published 2018-10-01
    Get full text
    Article
  2. 2
    Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

    Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach by Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

    Published 2019-08-01
    Get full text
    Article

Search Tools: