Formal Verification of Simulink/Stateflow DiagramsNaijun Zhan, Shuling Wang, Hengjun Zhao · First published 2016Open the Tome
Bian zhuang xie zhen wan chu ni de guan cha liJ. Akiyama, Shuling Wang · First published 2013Open the Tome
Li ti yi dong you xi wan chu ni de xiang xiang liJ. Akiyama, Shuling Wang · First published 2013Open the Tome
Mi gong chuang guan wan chu ni de luo ji liJ. Akiyama, Shuling Wang · First published 2013Open the Tome
Ping mian tu xing wan chu ni de chuang zao liJ. Akiyama, Shuling Wang · First published 2013Open the Tome
Wo guo xi bu tu di zi yuan kai fa li yong xian zhuang yu dui ce yan jiuShuling Wang · First published 2006Open the Tome
