2 ms·
This is a very interesting talk about writing the software for the Curiosity Mars mission by the head of Software Reliability at JPL, Gerard Holzmann, who also
by ballooney 10y ago
This is a very interesting talk about writing the software for the Curiosity Mars mission by the head of Software Reliability at JPL, Gerard Holzmann, who also wrote these 10 rules:
https://vimeo.com/84991949 https://vimeo.com/84991949
- Bromskloss 10y agoNice tool setup. I would like to work under those circumstances.