6 results on '"Zhongwei Xu"'
Search Results
2. Model checking-based safety verification for railway signal safety protocol-I
3. Agent-based Simulation Framework for Safety Critical System
4. Verification of Scenario-Based Safety Requirement Specification on Components Composition
5. Research on the Composition Framework of Generic Component for Connector Architecture
6. Research on the Composition Framework of Generic Component for Connector Architecture
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.