Prof/Mr. HEISER Gernot Alexander


Team : REGAL
Invited by : Bertil FOLLIOT
Arrival date : 06/14/2010
Departure date : 07/16/2010
http://gernot-heiser.org

Research activity

Systèmes d'exploitation micro-noyau, vérification de composants logiciels

Talks : Enseignement et recherche sur les systèmes d'exploitation à base de micro-noyaux et la vérification de composants logiciels