Achtergrond Automatisering Gidsvolgen volgend
PRO
24 november 2006
leestijd 1 minuut
0 reacties
Eredoctoraat voor uitvinder betrouwbaarheidstool
De van origine Nederlandse onderzoeker Gerard Holzmann krijgt een eredoctoraat van de Universiteit Twente. Holzmann is de bedenker van de SPIN model checker, een krachtig tool om de betrouwbaarheid van software te verifiëren.
Shutterstock
© Shutterstock
Lees dit PRO artikel gratis
Maak een gratis account aan en geniet van alle voordelen:
Toegang tot 3 PRO artikelen per maand
Inclusief CTO interviews, podcasts, digitale specials en whitepapers
Blijf up-to-date over de laatste ontwikkelingen in en rond tech
Word gratis lid en lees verder
Bevestig jouw e-mailadres
We hebben de bevestigingsmail naar %email% gestuurd.
Geen bevestigingsmail ontvangen? Controleer je spam folder. Niet in de spam, klik dan hier om een account aan te maken.
Sluiten
Er is iets mis gegaan
Helaas konden we op dit moment geen account voor je aanmaken. Probeer het later nog eens.
Sluiten
Maak een gratis account aan en geniet van alle voordelen:
Toegang tot 3 PRO artikelen per maand
Inclusief CTO interviews, podcasts, digitale specials en whitepapers
Volg je favoriete topics
Heb je al een account?
Log in
Maak een gratis account aan en geniet van alle voordelen:
Toegang tot 3 PRO artikelen per maand
Inclusief CTO interviews, podcasts, digitale specials en whitepapers
Volg je favoriete topics
Heb je al een account?
Log in
