A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems Habtamu Abie Åsmund Skomedal Publikasjonsdetaljer Journal: International Journal of Computer Science and Network Security, vol. Vol. 5, No. 12, p. 10–10, Friday 30. December 2005 Internasjonale standardnumre: Trykt: 1738-7906 Lenke: FULLTEKST: http://publications.nr.no/4209/Abie_-_A_Conceptual_Formal_Framework_for_Developing_and_M.pdf Habtamu Abie Sjefsforsker Du er her: Hjem Publikasjoner Vitenskapelig artikkel A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems
