位置：成果数据库 > 会议 > 会议详情页
Liveness and Finiteness of Large Systems with S_Petri Net
  • 所属机构名称：广东工业大学
  • 会议名称：Proc. of 20th IEEE Real-Time System Symposium WIP Session (ISTP 收录)
  • 作者或编辑：3448
  • 语言：中文
  • 成果类型：会议
  • 相关项目：实时系统设计方法的系统集成的研究
作者： P. Yuan|X. Fu|and L. Zhang||
同会议论文项目
实时系统设计方法的系统集成的研究
期刊论文 5 会议论文 5
同项目会议论文
An integrated approach for real-time system design
Congestion control for ATM real-time service
Combining Formal Specification Methods and Informal Specification Methods For Requirement Analysis,
Using formal approach to specify distributed multimedia systems