Formal Verification of Simulink/Stateflow DiagramsNaijun Zhan, Shuling Wang, Hengjun ZhaoInbunden1 222 kr
Big Data Privacy Preservation for Cyber-Physical SystemsMiao Pan, Jingyi Wang, Sai Mounika Errapotu, Xinyue Zhang, Jiahao Ding, Zhu HanHäftad535 kr
Formal Verification of Simulink/Stateflow DiagramsNaijun Zhan, Shuling Wang, Hengjun ZhaoHäftad1 222 kr