Ulrich Nitsche


photo

 ulrich.ultes-nitsche@unifr.ch
 +41 26 300 9149

Professeur·e ordinaire
Département d'Informatique

PER 21 bu. A416
Bd de Pérolles 90
1700 Fribourg
PER 21, A416
+41 26 300 9149

Enseignement et cours

Contrôle de processus

Formal Methods

Méthodes formelles (exercice supplémentaire)

Seminar foundations of dependable systems II

Stage d’enseignement de l’informatique

Travail de Bachelor

Travail de Master

Verification of cyber-physical systems

Afficher dans le programme des cours