机译:第25届工业关键系统正式方法国际会议
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:前言:奥地利林茨第九届国际工业关键系统形式方法国际研讨会论文选集(FMICS 04)
机译:议事录。第25届IEEE分布式计算系统国际会议研讨会
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:第五届国际计算生物学学会学生会在第17届年度国际分子生物学智能系统会议和第八届欧洲计算生物学会议上的要闻
机译:ERCIM工业关键系统形式方法工作组第五次国际研讨会特别刊物,2000年4月3日至4日,柏林
机译:正式方法的工业应用国际调查。第1卷:目的,方法,分析和结论