The following pages link to Jinzhao Wu (Q201220):
Displaying 6 items.
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
- Towards action refinement for true concurrent real time (Q1424360) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394041) (← links)
- On the optimal fixed-price mechanism in bilateral trade (Q6499263) (← links)
