@article{Jianghua LV:495, author = {Jianghua LV, Shilong MA, Xianjun LI, Jiangong SONG}, title = {A high order collaboration and real time formal model for automatic testing of safety critical systems}, publisher = {Front. Comput. Sci.}, year = {2015}, journal = {Frontiers of Computer Science}, volume = {9}, number = {4}, eid = {495}, numpages = {15}, pages = {495}, keywords = {safety critical systems (SCS);test;automatic test;equipment collaboration;high order calculus;LTS;real time}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_11841.shtml}, doi = {10.1007/s11704-015-2254-y} }