位置：成果数据库 > 会议 > 会议详情页
Spatio-Temporal UML profile for Cyber-Physical Systems.
  • 所属机构名称：华东师范大学
  • 会议名称：17th IEEE International Conference on Engineering of Complex Computer Systems
  • 成果类型：会议
  • 相关项目：服务构件安全协同建模与验证方法研究
作者： Ziwei Liu|Jing Liu|
同会议论文项目
服务构件安全协同建模与验证方法研究
期刊论文 4 会议论文 10 专利 1
同项目会议论文
Probabilistic Coordination Language for Component Dynamic Composition
Algorithms for Selecting Interactions among Timed Components Based on TIOA/TIOTS
Specifying communication behaviours between components with real-time rCOS - A case study ATP
Modeling and Prototyping Business Processes in AutoPA
Formal specification of Hybrid MARTE statechart
Hybrid interface automata for component interfaces
Integration of Safety Verification with Conformance Testing in Real-time Reactive System,
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
Trustability Improvement of an Automatic Train Protection System