|
|
|
|
|
Kaiyuan Jiang, Yutong Zhang, Haibin Wu, Aili Wang and Yuji Iwahori
Software systems are now ubiquitous and are used every day for automation purposes in personal and enterprise applications; they are also essential to many safety-critical and mission-critical systems, e.g., air traffic control systems, autonomous cars, ...
ver más
|
|
|
|
|