Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Janusz Malinowski

est l'auteur d'une thèse

Automates Automates temporisés Hiérarchie Ordres partiels Réduction SAT Stabilisation Synthèse de contrôleur Systèmes EDO Systèmes non linéaires Systèmes échantillonnés

Fullscreen

Automates Automates temporisés Hiérarchie Ordres partiels Réduction SAT Stabilisation Synthèse de contrôleur Systèmes EDO Systèmes non linéaires Systèmes échantillonnés

Janusz Malinowski a rédigé la thèse suivante :

Algorithmes pour la synthèse et le model checking

par Janusz Malinowski sous la direction de Peter Niebert - Aix-Marseille

Informatique

Soutenue le 10-12-2012

Thèse soutenue

Accéder en ligne