|
Onderzoeker UT: minder softwarefouten door toepassen van moderne kansmodellen 09-'13 - Mark Timmer zal op de Universiteit Twente promoveren op zijn onderzoek naar model checking. Daarbij worden computersystemen gemodelleerd en vervolgens automatisch op fouten… |