UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-3 of 3 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码: 327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite  |  View/Download:4/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification