Search for dissertations about: "Pavel Krcal"

Found 1 swedish dissertation containing the words Pavel Krcal.

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