Universita della Svizzera italiana, via G. Buffi 13, 6900 Lugano, Switzerland;
Politecnico di Milano, piazza Leonardo Da Vinci 32, Milano, Italy;
机译:介绍H,基于机构的正式规范和验证语言
机译:规范规格,验证和产品几何形状的交换:研究,现状和趋势
机译:2005年中国计量器具国家检定规程和校准规范2005年第148号/ 2005年中国计量器具国家检定规程和校准规范2005年第184号
机译:通过状态函数规范和验证机构
机译:传感器网络工作台:进行功能规范,约束分布式系统的验证和部署。
机译:术中植入定向钯源网格(CivaSheet™):剂量学验证临床调试剂量规范和初步经验
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:增强自动状态和跟踪系统软件的功能设计规范