The following pages link to Junyan Qian (Q2987192):
Displaying 6 items.
- Program security verification based on abstract invariants (Q2987193) (← links)
- Model checking CSP based on ASP and critical-trace model of CSP (Q2993207) (← links)
- A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics (Q3498435) (← links)
- (Q5424313) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479159) (← links)
- Disturbance observer and Mittag-Leffler stabilization design for multi-dimensional fractional distributed parameter systems (Q6130117) (← links)