位置：成果数据库 > 会议 > 会议详情页
Modeling Real-Time Systems with Continuous-Time Temporal Logic
  • ISSN号：0302-9743
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：Lecture Notes in Computer Science 2495, Springer-Verlag, 2002
  • 作者或编辑：3448
  • 第一作者单位：中国科学院软件研究所
  • 语言：英文
  • 成果类型：会议
  • 相关项目：基于XYZ/E的可视化软件体系结构描述语言研究
作者： 李广元|唐稚松|
同会议论文项目
基于XYZ/E的可视化软件体系结构描述语言研究
期刊论文 22 会议论文 2 著作 1
同项目会议论文
An XYZ/E Semantics for UML Activity Diagrams