Full Terms & Conditions of access and use can be found at http://www.tandfonline.com/action/journalInformation?journalCode=tsar20 Download by: [Fudan University] Date: 18 February 2017, At: 13:12 Safety and Reliability ISSN: 0961-7353 (Print) 2469-4126 (Online) Journal homepage: http://www.tandfonline.com/loi/tsar20 Modelling and analysis of a system based on symbolic representation of logic Dr. Bimal Samanta , Dr. Mousumi Samanta, Manojit Das & Dr. Bijan Sarkar To cite this article: Dr. Bimal Samanta , Dr. Mousumi Samanta, Manojit Das & Dr. Bijan Sarkar (2004) Modelling and analysis of a system based on symbolic representation of logic, Safety and Reliability, 24:3, 17-32, DOI: 10.1080/09617353.2004.11690791 To link to this article: http://dx.doi.org/10.1080/09617353.2004.11690791 Published online: 11 Mar 2016. Submit your article to this journal View related articles