机译:分布式航空电子统一验证和实现的语言
机译:使用k(邀请的谈话)块语言的正式设计,实施和验证
机译:区块链语言的正式设计,实现和验证(特邀演讲)
机译:区块链语言的正式设计,实现和验证(特邀演讲)
机译:一种有助于航空电子软件验证和认证的需求建模语言
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:受控词汇表索引编制和医学语言处理。医学语言处理:自然语言超声心动图报告的数据库捕获:统一医学语言系统方法
机译:处理流程中的通信代数架构描述语言:建模,验证和实现