Veiligheidskritische software

Featured image

Veiligheidskritische systemen - zoals 112 - raken soms onverwacht het spoor bijster. Er ligt een grote en fundamentele uitdaging hoe software te maken, zodanig dat fouten niet meer voorkomen en software altijd doet wat er van wordt verwacht.

Programma KNAW-symposium Verificatie van software - 31- 10-2019.pdf (333.52 KB) https://www.knaw.nl/nl/actueel/agenda/verificatie-van-software

Do you think this is smart?

Comments

You need to log-in or register to leave a comment.

Topics

More events