Tarasyuk, O.M., and A.V. Gorbenko. "
For Methods for Development of Critical Software." In
Lecture Materials. Kharkiv: National Aerospace University Institute “KhAI”, 2009.
Mansour, Riham Hassan Abd. Formal Analysis and Design for Engineering Security (FADES). Vol. PhD Dissertation. Blacksburg, VA: Virginia Polytechnic Institute and State University, 2009.
Vatsa, Mayank, Richa Singh, and Afzel Noore. "
Framework for biometric match score fusion using statistical and belief models." In
Advances and Applications of DSmT for Information Fusion. Vol. III. Rehoboth: American Research Press (ARP), 2009.