Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language · 1 则 HN 推荐
视频问答
可以让 AI 解释当前片段，或总结整部视频。如果回答附有时间戳，点击即可跳到对应片段。
试着问：这里讲的是什么意思？
需要用 Google 登录。确认前可查看最多会扣除多少积分。
Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.
HN 推荐的原因： HN points to it as a real-world example of Julia used in safety-critical aerospace design.
“See these talks on how a collision avoidance system was designed with Julia.” 阅读 HN 讨论 ↗