The following pages link to Jun Sun (Q488229):
Displaying 4 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Verifying Neural Networks Against Backdoor Attacks (Q6487317) (← links)
