Avy amin'i Wikimedia Commons io rakitra io ary mety ampiasain'ny tetikasa hafa.
Aseho eo ambany ny famisavisana ilay rakitra.
Ambangovangony
VisavisaGerard J. Holzmann FLoC 2006.jpg
English: FLoC2006: Gerard J. Holzmann predicts the growth of software systems on spacecraft and the imperative to have high-reliability, safe software systems
== 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
Mirakitra fampahalalana fanampiny, izay inoana ho napetraky ny fakan-tsary na scanner nampiasaina nanaovana ny numérisation-ny ity rakitra ity. Raha kitihina na ovana izy ity dia mety tsy hifanitsy amin'ny sary voaova ireo antsipirihany sasany ireo.