2020年9月18日
NASA的10条代码编写原则
摘要： 本文将介绍由 NASA 喷气推进实验室首席科学家 Gerard J. Holzmann 所提出的，侧重于安全参数的10条代码编写原则 美国宇航局（National Aeronautics and Space Administration，缩写为 NASA） 是美国联邦政府的一个独立机构，负责制定、实 阅读全文
posted @ 2020-09-18 14:23 景北斗 阅读(434) 评论(0) 推荐(0) 编辑