The following pages link to Lina Ye (Q409003):
Displaying 8 items.
- Numerical method based on the lattice Boltzmann model for the Kuramoto-Sivashinsky equation (Q409004) (← links)
- Property-directed verification and robustness certification of recurrent neural networks (Q2147216) (← links)
- Automated Analysis of Asynchronously Communicating Systems (Q2814621) (← links)
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components (Q2999115) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Debugging Process Algebra Specifications (Q5172646) (← links)
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures (Q5282423) (← links)
- (Q6191009) (← links)