Search for dissertations about: "Johann Deneux"

Found 1 swedish dissertation containing the words Johann Deneux.

2. 1. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

   Author : Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
   Keywords : Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

   Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE