A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems Habtamu Abie Åsmund Skomedal Publication details Journal: International Journal of Computer Science and Network Security, vol. Vol. 5, No. 12, p. 10–10, Friday 30. December 2005 International Standard Numbers: Printed: 1738-7906 Link: FULLTEKST: http://publications.nr.no/4209/Abie_-_A_Conceptual_Formal_Framework_for_Developing_and_M.pdf Habtamu Abie Chief Research Scientist You are here: Home Publications Scientific article A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems
