Search for dissertations about: "Joel Ouaknine"

Found 1 swedish dissertation containing the words Joel Ouaknine.

  2. 1. Infinite Structures in Timed Systems

    Author : Pavel Krcal; Wang Yi; Joel Ouaknine; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical computer science; Teoretisk datalogi; Datalogi; Computing Science;

    Abstract : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. READ MORE