Treffer 1 - 5 von 5 für Suche 'Casaluce, Roberto', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    White-box validation of quantitative product lines by statistical model checking and process mining

    White-box validation of quantitative product lines by statistical model checking and process mining von Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Lafuente, Alberto Lluch, Vandin, Andrea


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement

    Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement von Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Vandin, Andrea


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining

    White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining von Casaluce, Roberto, Tschaikowski, Max, Vandin, Andrea


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    White-box validation of quantitative product lines by statistical model checking and process mining

    White-box validation of quantitative product lines by statistical model checking and process mining von Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Lafuente, Alberto Lluch, Vandin, Andrea

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    White-box validation of quantitative product lines by statistical model checking and process mining

    White-box validation of quantitative product lines by statistical model checking and process mining von Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Alberto Lluch Lafuente, Vandin, Andrea

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: