Je hebt een klacht over de onderstaande posting:
Door Anoniem: "Het gaat dan onder andere om het ontwerpen van software systemen die vanaf het begin veilig en betrouwbaar zijn" Ja doei! *Zucht* Het niveau is zoals gewoonlijk weer een minimaal.. Als scriptkiddies eens de moeite zouden nemen om af en toe eens wat theorie te lezen, dan zouden ze begrijpen dan Northrod formal verified systemen willen bouwen zoals : http://ertos.nicta.com.au/research/l4.verified/ http://www.securityfocus.com/brief/997
Beschrijf je klacht (Optioneel):