The following pages link to Rongjie Yan (Q3021170):
Displaying 6 items.
- Model Construction and Priority Synthesis for Simple Interaction Systems (Q3021171) (← links)
- Algorithms for Synthesizing Priorities in Component-Based Systems (Q3172911) (← links)
- Improvements for the Symbolic Verification of Timed Automata (Q3614852) (← links)
- Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (Q5206962) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395106) (← links)
- (Q5469517) (← links)
