The following pages link to He Jifeng (Q911321):
Displaying 21 items.
- Process simulation and refinement (Q911322) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Mutation testing in UTP (Q1019021) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- Probabilistic models for the guarded command language (Q1356940) (← links)
- A hybrid relational modelling language (Q1708714) (← links)
- A Clock-Based Framework for Construction of Hybrid Systems (Q2851898) (← links)
- A New Roadmap for Linking Theories of Programming (Q2971173) (← links)
- A Probabilistic BPEL-Like Language (Q3055739) (← links)
- Probabilistic Programming with Coordination (Q3163400) (← links)
- Compensable Programs (Q3526938) (← links)
- Transaction Calculus (Q3585019) (← links)
- UTP Semantics for Web Services (Q3608891) (← links)
- (Q4494235) (← links)
- (Q4698369) (← links)
- Programming Languages and Systems (Q5464055) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709977) (← links)
- A predicative semantics for the refinement of real-time systems (Q5890049) (← links)
- Formal Methods for Components and Objects (Q5897451) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900547) (← links)
- Integrated Formal Methods (Q5901616) (← links)
