位置：成果数据库 > 会议 > 会议详情页
Formal specification of Hybrid MARTE statechart
  • 所属机构名称：华东师范大学
  • 会议名称：The Sixth International Symposiumon Theoretical Aspects of Software Engineering
  • 成果类型：会议
  • 相关项目：服务构件安全协同建模与验证方法研究
作者： ? Ziwei Liu, Jing Liu, Jifeng He, Fr′ed′eric Malle|
同会议论文项目
服务构件安全协同建模与验证方法研究
期刊论文 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
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.