English: FLoC2006: Gerard J. Holzmann predicts the growth of software systems on spacecraft and the imperative to have high-reliability, safe software systems
to share – to copy, distribute and transmit the work
to remix – to adapt the work
Under the following conditions:
attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
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
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):