[SystemSafety] FW: Model extraction and construction in Mars Rover

[Steve Tockey]

This was sent to me by a friend. Interesting…


Subject: Model extraction and construction in Mars Rover

http://cacm.acm.org/magazines/2014/2/171689-mars-code/fulltext

You may want to read the story.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20140303/08528ee1/attachment.html>