Jeg kan måske fortælle om udvikling af kritiske systemer, vha. Automatiske teorem provers. I.e. hvordan man sikre sig imod Challenger ulykken.
Fra typesystemer til ækvivalensbeviser - Hvordan beskytter man kritiske systemer imod kode aber.
--
Ok
--
Flemming Frandsen - YAPH - http://dren.dk
Du har modtaget denne besked, fordi du er tilmeldt gruppen "Open Space Aarhus" i Google Grupper.
Hvis du vil ophæve abonnementet på denne gruppe og ikke længere modtage e-mails fra den, skal du sende en e-mail til openspaceaarh...@googlegroups.com.
For at sende et indlæg til denne gruppe skal du sende en e-mail til openspa...@googlegroups.com.
Besøg denne gruppe på http://groups.google.com/group/openspaceaarhus.
Find flere valgmuligheder på https://groups.google.com/d/optout.
Du har modtaget denne besked, fordi du er tilmeldt gruppen "Open Space Aarhus" i Google Grupper.
Hvis du vil ophæve abonnementet på denne gruppe og ikke længere modtage e-mails fra den, skal du sende en e-mail til openspaceaarh...@googlegroups.com.
For at sende et indlæg til denne gruppe skal du sende en e-mail til openspa...@googlegroups.com.
Besøg denne gruppe på http://groups.google.com/group/openspaceaarhus.
Find flere valgmuligheder på https://groups.google.com/d/optout.
Du har modtaget denne besked, fordi du er tilmeldt gruppen "Open Space Aarhus" i Google Grupper.
Hvis du vil ophæve abonnementet på denne gruppe og ikke længere modtage e-mails fra den, skal du sende en e-mail til openspaceaarh...@googlegroups.com.
For at sende et indlæg til denne gruppe skal du sende en e-mail til openspa...@googlegroups.com.
Besøg denne gruppe på http://groups.google.com/group/openspaceaarhus.
Find flere valgmuligheder på https://groups.google.com/d/optout.