The following pages link to Dianxiang Xu (Q1907064):
Displayed 5 items.
- Logical object as a basis of knowledge based systems (Q1907065) (← links)
- Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets (Q2982096) (← links)
- A Tool for Automated Test Code Generation from High-Level Petri Nets (Q3011896) (← links)
- A formal model-based approach for developing an interoperable mobile agent system (Q3446072) (← links)
- (Q4516885) (← links)