机译:ERCIM工业关键系统形式方法工作组第五次国际研讨会特别刊物,2000年4月3日至4日,柏林
机译:简介:ERCIM工业关键系统形式方法工作组第四次国际研讨会特刊,特伦托,1999年7月11日至12日
机译:ERCIM工业关键系统形式方法工作组第一次国际研讨会的特刊,1996年3月19日,牛津,圣休学院,论文选集
机译:前言:奥地利林茨第九届国际工业关键系统形式方法国际研讨会论文选集(FMICS 04)
机译:第14届国际ERCIM / EWICS / ARTEMIS可靠智能网络物理系统和系统系统研讨会(DECSoS 2019)可靠网络物理系统和系统系统领域的欧洲研究和创新项目
机译:对当前用于确定关键工业基础问题的国防部方法的评估,并介绍替代方法以识别和管理未来的重要工业基础能力
机译:来自第二届埃利斯罗拉斯纵向研究和其他非传染病疾病研究的选定论文研究国际会议特殊问题
机译:关于工业关键系统正式方法的ERCIm工作组第五次国际研讨会特刊,柏林,2000年4月3日至4日。选定的论文。前言
机译:1978年春季区域会议国际普渡大学工业计算机系统研讨会于1978年4月4日至7日在瑞士苏黎世联邦理工学院举行,普渡大学,西拉斐特,1978年4月10日至12日,日本东京都日本1978年6月29日至30日。第一部分叙述和技术附录。