English: FLoC2006: Gerard J. Holzmann predicts the growth of software systems on spacecraft and the imperative to have high-reliability, safe software systems
ділитися – копіювати, поширювати і передавати твір
модифікувати – переробляти твір
При дотриманні таких умов:
зазначення авторства – Ви повинні вказати авторство, надати посилання на ліцензію і вказати, чи якісь зміни було внесено до оригінального твору. Ви можете зробити це в будь-який розсудливий спосіб, але так, щоб він жодним чином не натякав на те, наче ліцензіар підтримує Вас чи Ваш спосіб використання твору.
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
Файл містить додаткові дані, які зазвичай додаються цифровими камерами чи сканерами. Якщо файл редагувався після створення, то деякі параметри можуть не відповідати цьому зображенню.