Formal representation of knowledge using Z in fast breeder test reactors
Sankar, Bindu, Seetha, H., Kuriakose, K.K., Satyamurty, S.A.V., Swaminathan, P.Volume:
3
Year:
2009
Language:
english
Journal:
International Journal of Nuclear Knowledge Management
DOI:
10.1504/ijnkm.2009.027061
File:
PDF, 655 KB
english, 2009