mruspace/whitepaper

Mru: A Fault-Tolerant Operating System for Thousand-Year Autonomous Operation (whitepaper source). doi:10.5281/zenodo.23305299

语言：TeX · GitHub 星标：3 · Fork：0

话题：aerospace · autonomous-systems · fault-tolerance · formal-verification · interstellar · latex · operating-system · paper

在 GitHub 上查看原仓库