机译:Tesperanto的基于模型的系统规范:来自正式图形的可读文本
机译:利用UML规范和SRN模型的软件性能评估及其形式表示
机译:系统对战模拟模型的形式规范与表示研究
机译:图形和语言作为地理空间描述的互补形式表示
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:统计和概率分析。分析和表示的新工具:图形表示可导致快速准确的贝叶斯推理
机译:视觉显示设备的正式规范:设计和实现。
机译:军用规范:产品数据通信的数字表示:IGEs(初始图形交换规范)应用子集