形式化原理相关论文
该文对泛系理论中21个基本概念作了具体介绍，重申了分析事物的泛系参证框架的11种形式，并阐述了机译语言形式化的泛系实质、泛系数学......
软件的大量应用，使控制系统面，临严峻的安全考验，陷入了安全危机中，迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概......
