位置：成果数据库 > 会议 > 会议详情页
Combining Formal Specification Methods and Informal Specification Methods For Requirement Analysis,
  • 所属机构名称：广东工业大学
  • 会议名称：Proc of IEEE Pacific Rim Conference on Communication, Computers, and Signal processing, pp 444-447,
  • 作者或编辑：3448
  • 第一作者单位：广东工业大学
  • 语言：英文
  • 成果类型：会议
  • 相关项目：实时系统设计方法的系统集成的研究
作者： 张立臣 袁培江|
同会议论文项目
实时系统设计方法的系统集成的研究
期刊论文 5 会议论文 5
同项目会议论文
An integrated approach for real-time system design
Congestion control for ATM real-time service
Using formal approach to specify distributed multimedia systems
Liveness and Finiteness of Large Systems with S_Petri Net