Nieuwsberichten
Verfijn resultaten
sorteer op:
41 nieuwsberichten - Pagina 2 van 2
:strip_exif()/i/1297676902.gif?f=fpa)
|
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… |