Blar i Institutt for datateknologi, elektroteknologi og realfag på dokumenttype "Others"

Viser treff 1-2 av 2

    • Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems 

      Liu, Zhiming; Stolz, Volker (Others, 2019)
      This compendium contains the lecture notes used in the “BeChong” meetings held as part of the SIU-funded bilateral project “Methods and Tool Support for Re nement, Model Transformation and Veri cation of Network Systems” ...

    • Runtime Verification of Timed Petri Nets 

      Requeno Jarabo, Jose Ignacio; Gómez-Martínez, Elena; Kallwies, Hannes; Haustein, Melanie; Leucker, Martin; Stolz, Volker; Stünkel, Patrick (Others, 2024)
      Timed Petri net (TPN) is a type of Petri net for modeling concurrent systems that incorporates time durations as first-class citizens. This paper provides a means for analyzing TPN by runtime verification, a lightweight ...