English: FLoC2006: Gerard J. Holzmann predicts the growth of software systems on spacecraft and the imperative to have high-reliability, safe software systems
de partager – de copier, distribuer et transmettre cette œuvre
d’adapter – de modifier cette œuvre
Sous les conditions suivantes :
paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
https://creativecommons.org/licenses/by/2.0CC BY 2.0 Creative Commons Attribution 2.0 truetrue
== Summary == {{Information |Description={{en|1=FLoC2006: Gerard J. Holzmann predicts the growth of software systems on spacecraft and the imperative to have high-reliability, safe software systems}} |Source=http://www.flickr.co