Archived publication
Archived publication
A Conceptual Formal Framework for Developing and Maintaining Security-Critical Systems
4209/Abie_-_A_Conceptual_Formal_Framework_for_Developing_and_M.pdf
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: