机译:分子装置和生物系统序言的正式验证和静态分析
INRIA Paris France;
CNRS UMR5800 LaBRI Talence France;
Masaryk Univ Fac Informat Brno Czech Republic;
机译:分子装置和生物系统序言的正式验证和静态分析
机译:工程分子装置和程序的验证序言
机译:从分子到分子生物学系统和分子材料:分子相互作用和识别的作用在第九届国际分子光谱国际会议上发表的论文集,弗罗茨瓦夫-拉德克·兹德罗伊,波兰,2007年9月12日至16日
机译:静态驱动程序验证程序,Windows设备驱动程序的正式验证工具
机译:非线性生物系统的形式验证。
机译:静态和时间分辨结构的荟萃分析揭示了合作的大分子装置
机译:S3E2-1分子通信:用于纳米级通信的新范式(S3-E2:“分子通信:纳米级设备的生物学启发通信系统”,EABS&BSJ 2006的Symposia,摘要,会议计划)
机译:软件和计算机系统验证的形式化方法规范和分析指南