3 ms·

Talk on JPL's software for the Curiosity rover: https://www.usenix.org/conference/hotdep12/workshop-program/presentation/Holzmann https://www.usenix.org/confere

by xtian 8y ago

Talk on JPL's software for the Curiosity rover: https://www.usenix.org/conference/hotdep12/workshop-program/presentation/Holzmann https://www.usenix.org/conference/hotdep12/workshop-program/...