Archived publication

Archived publication

A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems

Abie, Habtamu; Skomedal, Åsmund

December 30, 2005

DART

  • ISBN:
  • Author(s): Abie, Habtamu; Skomedal, Åsmund
  • Title: A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems
  • Volume/number: Vol. 5, No. 12
  • Name and number of project: FARM
  • Journal: International Journal of Computer Science and Network Security
  • Page(s): 10
  • Conference:
  • Filename: 4209/Abie_-_A_Conceptual_Formal_Framework_for_Developing_and_M.pdf
  • Refereed: 1
  • Publisher:
  • Published date: December 30, 2005
  • Book title:
  • Editor: