The following pages link to Xiaoshan Li (Q854168):
Displayed 14 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Decidability of mean value calculus (Q1288439) (← links)
- RCOS: a formal model-driven engineering method for component-based software (Q1762176) (← links)
- Unifying proof methodologies of duration calculus and timed linear temporal logic (Q1882794) (← links)
- Harnessing rCOS for Tool Support —The CoCoME Experience (Q3526927) (← links)
- (Q4412546) (← links)
- Model Checking Bounded Continuous-time Extended Linear Duration Invariants (Q4561435) (← links)
- (Q4673418) (← links)
- A duration calculus with infinite intervals (Q5055877) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395093) (← links)
- Programming Languages and Systems (Q5464055) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709965) (← links)
- Formal Methods for Components and Objects (Q5897451) (← links)
- Bergman-Einstein metric on a Stein space with a strongly pseudoconvex boundary (Q6346740) (← links)