机译:前言:有关工业关键系统形式方法的特殊部分(选自FMICS'11的论文)
机译:前言:奥地利林茨第九届国际工业关键系统形式方法国际研讨会论文选集(FMICS 04)
机译:简介:ERCIM工业关键系统形式方法工作组第四次国际研讨会特刊,特伦托,1999年7月11日至12日
机译:如何选择工业应用的合适形式方法:调查
机译:为选择最合适的SN运输问题离散化方法的定量决策度量标准的开发。
机译:选择合适的光谱匹配方法拉曼光谱的自动分析应用
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
机译:正式方法的工业应用国际调查。第1卷:目的,方法,分析和结论