Search for dissertations about: "Christel Baier"
Found 1 swedish dissertation containing the words Christel Baier.
-
1. Infinite-state Stochastic and Parameterized Systems
Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE
Result pages:
1