机译：C语言程序部件验证工具可以验证，包括与数据结构CForge相关的规范
東芝研究開発センター;
東芝研究開発センター;
東芝研究開発センター;
机译：可以进行验证的C语言程序组件验证工具CForge，包括与数据结构有关的规范
机译：使用模型检查工具验证时间规格，该工具可用于对实时系统开发人员至关重要的时间约束验证工作
机译：成立了NTT和其他工业集团研究光通信技术的日本电报电话公司（NTT，东京千代田区），英特尔，索尼公司（东京都港区）是三个新的工业集团。建立。促进利用光电子融合技术的光子相关技术的研究和开发，并致力于建立可支持超高容量通信的光网络技术。 3-3处理领域美国Micron Technology在收购了国内主要DRAM公司Elpida Memory之后取得了巨大飞跃。 2017年，我们邀请了Sanjay联合创始人Sanjay Mehrotra。管理系统也进行了改进，我们推出了完全脱胎换骨的“新Micron”。在旧金山举行的私人活动“ Mlicron Insight 2019”（10月24日举行）上，有关公司未来愿景的信息四处散布。
机译：电子防御实验（大都市Reliv Relivion Relion Retrious项目），用于验证非结构构件等的功能等能耗
机译：通信协议等价性的验证和错误恢复以及程序转换的研究
机译：项目2：以卫星数据，数据分析和处理方法，验证数据观测方法研究为中心，以欧亚大陆植被三维结构的转变为中心的表层，植被和土地覆盖变化研究（项目研究）
