Technologies for Declarative Model-driven Development of Cross-organizational Process Aware

  • Hildebrandt, Thomas (PI)

    Projekter: Projekt › Forskning

    • 1 Konferencebidrag i proceedings
    • 1 Tidsskriftartikel
    Filter
    Konferencebidrag i proceedings

    Søgeresultater

    • 2015

      Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

      Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).

      Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

      Åben adgang
      Fil