位置：成果数据库 > 期刊 > 期刊详情页
A Unified Linear-time Temporal Logic Solution to the Steam-boiler Control Specification Problem
  • ISSN号：1006-9275
  • 期刊名称：中国科学（E辑）
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：中国科学院软件研究所
  • 页码：1999,42(3),244-251
  • 语言：英文
  • 相关项目：基于XYZ系统的实时与两栖反应系统研究
作者： 闫安|唐稚松|
同期刊论文项目
基于XYZ系统的实时与两栖反应系统研究
期刊论文 3 会议论文 1 著作 1
同项目期刊论文
Hybrid Systems in XYZ
Building Hybrid Real-Time Systems in XYZ/E