%0 Journal Article %1 journals/fcsc/LvMLS15 %A Lv, Jianghua %A Ma, Shilong %A Li, Xianjun %A Song, Jiangong %D 2015 %J Frontiers Comput. Sci. %K dblp %N 4 %P 495-510 %T A high order collaboration and real time formal model for automatic testing of safety critical systems. %U http://dblp.uni-trier.de/db/journals/fcsc/fcsc9.html#LvMLS15 %V 9

@article{journals/fcsc/LvMLS15, added-at = {2018-02-19T00:00:00.000+0100}, author = {Lv, Jianghua and Ma, Shilong and Li, Xianjun and Song, Jiangong}, biburl = {https://www.bibsonomy.org/bibtex/2853009e51f7ff9e71dd798bd99e68c2d/dblp}, ee = {https://doi.org/10.1007/s11704-015-2254-y}, interhash = {14f1f48e8c9604b15dd4dd7c7cf04a6d}, intrahash = {853009e51f7ff9e71dd798bd99e68c2d}, journal = {Frontiers Comput. Sci.}, keywords = {dblp}, number = 4, pages = {495-510}, timestamp = {2018-02-21T11:37:02.000+0100}, title = {A high order collaboration and real time formal model for automatic testing of safety critical systems.}, url = {http://dblp.uni-trier.de/db/journals/fcsc/fcsc9.html#LvMLS15}, volume = 9, year = 2015 }