Utah State University.;
机译:应用于高性能计算软件设计的正式方法:基于MPI单边通信的锁定的案例研究
机译:促进大学软件设计和建模课程形式方法研究的策略和工具支持
机译:基于应用软件特征分析的动态存储控制最优方法选择准则
机译:自动逻辑概率方法和软件工具作为方法和软件工具复合物的组成部分,用于评估小卫星设备的可靠性和生存能力
机译:使用形式化方法进行软件开发的案例研究。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:小卫星软件系统的形式化方法和工具探讨
机译:将形式化方法应用于可认证的安全软件系统。