Xiaoke Qin

1 published title

System-level validation : high-level modeling and directed test generation techniques

(Contributor)

1 edition