Zum Inhalt springen

  8. Lanoix, Arnaud [VerfasserIn]; Okalas Ossami, Dieu-Donné [VerfasserIn]; Souquières, Jeanine [VerfasserIn] ; Arnaud Lanoix and Dieu-Donné Okalas Ossami and Jeanine Souquières [MitwirkendeR]

    An Operator-based Approach to Incremental Development of Conform Protocol State Machines

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  11. Frohme, Markus [VerfasserIn] ; Steffen, Bernhard [AkademischeR BetreuerIn]; Jonsson, Bengt [Sonstige Person, Familie und Körperschaft]

    Model-based quality assurance of intrumented context-free systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dortmund: Universitätsbibliothek Dortmund, 2023

  12. Frey, Sören [VerfasserIn]

    Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kiel: Universitätsbibliothek Kiel, 2014

    Erschienen in: Kiel Computer Science Series ; 2014,1

  13. Bartels, Björn [VerfasserIn] ; Glesner, Sabine [AkademischeR BetreuerIn]; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Jähnichen, Stefan [AkademischeR BetreuerIn]

    A mechanized verification environment for real-time process algebras and low-level programming languages

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Technische Universität Berlin, 2014

  14. Benraad, Minou [VerfasserIn]; Ozkan, Baris [VerfasserIn]; Turetken, Oktay [VerfasserIn]; Vanderfeesten, Irene [VerfasserIn]

    The influence of BPM-supportive culture and individual process orientation on process conformance

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Business process management journal ; 28(2022), 8, Seite 1-22

  15. Boltenhagen, Mathilde [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Chatain, Thomas [MitwirkendeR]

    Process Instance Clustering Based on Conformance Checking Artefacts ; Partitionnement d’instances de processus basé sur les techniques de conformité de modèles

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-10-21

  16. Frey, Sören [VerfasserIn] ; Hasselbring, Wilhelm [MitwirkendeR]; Kappel, Gerti [MitwirkendeR]; Dustdar, Schahram [MitwirkendeR]

    Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Christian-Albrechts-Universität zu Kiel, 2014

  17. Frey, Sören [VerfasserIn] ; Hasselbring, Wilhelm [MitwirkendeR]; Kappel, Gerti [MitwirkendeR]; Dustdar, Schahram [MitwirkendeR]

    Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Christian-Albrechts-Universität zu Kiel, 2014

  18. Khakpour, Narges [VerfasserIn]; Mousavi, Mohammad Reza [VerfasserIn] ; Narges Khakpour and Mohammad Reza Mousavi [MitwirkendeR]

    Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  19. Becker-Pechau, Petra [VerfasserIn] ; Züllighoven, Heinz [AkademischeR BetreuerIn]

    ˜Dieœ stilbasierte Architekturprüfung : ein Ansatz zur Prüfung implementierter Softwarearchitekturen auf Architekturstil-Konformanz

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg: Staats- und Universitätsbibliothek Hamburg, 2016

  20. Parnjai, Jarungjit [VerfasserIn] ; Reisig, Wolfgang [AkademischeR BetreuerIn]; Schlingloff, Holger [AkademischeR BetreuerIn]; Wolf, Karsten [AkademischeR BetreuerIn]

    Behavioral service substitution : analysis and synthesis

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2013