位置：成果数据库 > 会议 > 会议详情页
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
  • 所属机构名称：华东师范大学
  • 会议名称：ICECCS 2011
  • 成果类型：会议
  • 相关项目：服务构件安全协同建模与验证方法研究
作者： ? Ling Yin, Frédéric Mallet, 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,
Trustability Improvement of an Automatic Train Protection System
Spatio-Temporal UML profile for Cyber-Physical Systems.