Chocolat/SMV: A Translator from CafeOBJ into SMV

机译：Chocolat / SMV：从CafeOBJ到SMV的翻译器

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The primary purpose of the translation is to find errors lurked in CafeOBJ specifications of OTSs with SMV.

机译：Chocolat / SMV是一种转换程序，它接受称为OTS的过渡系统的CafeOBJ规范，并生成OTS有限版本的SMV规范。转换的主要目的是发现带有SMV的OTS的CafeOBJ规范中存在的错误。

著录项

来源
《Water Event, 2005》|2005年|p.416-420|共5页
会议地点
作者
Ogata K.; Nakano M.; Nakamura M.; Futatsugi K.;
展开▼
作者单位

NEC Software Hokuriku, Ltd.;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Characterization of SMV resistance of soybean produced by genetic transformation of SMV-CP gene in RNAi [J] . Hye Jeong Kim, Mi-Jin Kim, Jung Hun Pak, Plant Biotechnology Reports . 2013,第4期

机译：RNAi中SMV-CP基因的遗传转化产生的大豆SMV抗性特征
2. Multiple Loci Condition Seed Transmission of Soybean mosaic virus (SMV) and SMV-Induced Seed Coat Mottling in Soybean [J] . Domier Leslie L., Hobbs Houston A., McCoppin Nancy K., Phytopathology . 2011,第6期

机译：大豆花叶病毒（SMV）和SMV诱导的大豆种皮杂色的多位点条件种子传播
3. Effects of coupling a stochastic convective parameterization with the Zhang–McFarlane scheme on precipitation simulation in the DOE E3SMv1.0 atmosphere model [J] . Wang Yong, Zhang Guang J., Xie Shaocheng, Geoscientific Model Development Discussions . 2021,第3期

机译：随机对流参数化与Zhang-McFarlane方案在DOE E3SMV1.0大气模型中降水模拟的影响
4. Chocolat/SMV: A Translator from CafeOBJ into SMV [C] . Ogata, K., Nakano, . 2005

机译：Chocolat / SMV：从CafeOBJ到SMV的翻译器
5. Le potentiel en minéralisations de type sulfures massifs volcanogènes (SMV) de la région de Chibougamau-Chapais, Sous-province géologique de l'Abitibi (Quebec) [D] . Clairet, Rémi. 2017

机译：千屈硫化物矿物矿物（SMV）千叶蟾菌，阿维毕地质局（魁北克）
6. Agrobacterium rhizogenes-induced soybean hairy roots versus Soybean mosaic virus (ARISHR-SMV) is an efficient pathosystem for studying soybean–virus interactions [O] . Hua Jiang, Kai Li, Junyi Gai 2019

机译：发根农杆菌诱导的大豆毛状根与大豆花叶病毒（ARISHR-SMV）是研究大豆与病毒相互作用的有效病理系统
7. Multiple Loci Condition Seed Transmission of Soybean mosaic virus (SMV) and SMV-Induced Seed Coat Mottling in Soybean [O] . Leslie L. Domier, Houston A. Hobbs, Nancy K. McCoppin, 2011

机译：大豆叶片病毒（SMV）和SMV诱导的大豆种子涂层斑点的多个基因座

Chocolat/SMV: A Translator from CafeOBJ into SMV

摘要

著录项

相似文献

相关主题

期刊订阅