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