位置：成果数据库 > 会议 > 会议详情页
Specifying communication behaviours between components with real-time rCOS - A case study ATP
  • 所属机构名称：华东师范大学
  • 会议名称：35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 201
  • 成果类型：会议
  • 相关项目：服务构件安全协同建模与验证方法研究
作者： Du, Dehui1|Xiong, Xijiao1|
同会议论文项目
服务构件安全协同建模与验证方法研究
期刊论文 4 会议论文 10 专利 1
同项目会议论文
Probabilistic Coordination Language for Component Dynamic Composition
Algorithms for Selecting Interactions among Timed Components Based on TIOA/TIOTS
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
Spatio-Temporal UML profile for Cyber-Physical Systems.