1Lalit Kumar Singh, Hitesh Rajput. Ensuring safety in design of safety critical computer based systems[J]. Annals of Nuclear Ener- gy, 2016,(92): 289-294.
2Carlos Agostinho, Yves Ducq. Towards a sustainable interoperabili- ty in networked enterprise information systems: Trends of knowl- edge and model-driven technology[J]. Computers in Industry, 2016, (79):64-76.
3Rafiq Ahmad, Stephane Tiehadou, New computer vision based Snakes and Ladders algorithm for the safe trajectory of two axis CNC machines[J]. Computer-Aided Design, 2012,44(5):355-366.