Sökning: "Johann Deneux"

Hittade 1 avhandling innehållade orden Johann Deneux.

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

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

   Sammanfattning : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). LÄS MER