The Pennsylvania State University;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:在线电子实验室笔记本:用超文本预处理程序(PHP)编程语言编写脚本的安全云存储系统
机译:语言和P系统:最新动态
机译:通道:用于安全类型语言的运行时系统基础架构
机译:新型多功能聚合物保护的自配位分子阵列系统的开发,合成和表征。
机译:导管固定系统:将两个研究装置与无缝合固定装置固定敷料和猪模型中的缝合线进行比较
机译:从语言到系统:了解安全类型语言的实际应用开发
机译:渠道:安全类型语言的运行时系统基础结构