Formal representation of knowledge using Z in fast breeder test reactors

Author: Sankar Bindu   Seetha H.   Kuriakose K.K.   Satyamurty S.A.V.   Swaminathan P.  

Publisher: Inderscience Publishers

ISSN: 1479-540X

Source: International Journal of Nuclear Knowledge Management, Vol.3, Iss.3, 2009-07, pp. : 263-283

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract