Engineering Methods and Tools for Software Safety and Security

This Series presents the results of scientific meetings supported under the NATO Programme: Science for Peace and Security (SPS). The NATO SPS Programme supports meetings in the following Key Priority areas: (1) Defence Against Terrorism; (2) Countering other Threats to Security and (3) NATO, Par...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Broy, Manfred, Sitou, Wassiou, Hoare, Tony
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: IOS Press 2013
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35345
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-35345
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-353452014-01-19T23:58:49Z Engineering Methods and Tools for Software Safety and Security Broy, Manfred Sitou, Wassiou Hoare, Tony Software Methods This Series presents the results of scientific meetings supported under the NATO Programme: Science for Peace and Security (SPS). The NATO SPS Programme supports meetings in the following Key Priority areas: (1) Defence Against Terrorism; (2) Countering other Threats to Security and (3) NATO, Partner and Mediterranean Dialogue Country Priorities. The types of meeting supported are generally “Advanced Study Institutes” and “Advanced Research Workshops”. The NATO SPS Series collects together the results of these meetings. The meetings are co-organized by scientists from NATO countries and scientists from NATO’s “Partner” or “Mediterranean Dialogue” countries. The observations and recommendations made at the meetings, as well as the contents of the volumes in the Series, reflect those of participants and contributors only; they should not necessarily be regarded as reflecting NATO views or policy. 2013-09-04T03:10:01Z 2013-09-04T03:10:01Z 2009 Book 978-1-58603-976-9 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35345 en application/pdf IOS Press
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Software
Methods
spellingShingle Software
Methods
Broy, Manfred
Sitou, Wassiou
Hoare, Tony
Engineering Methods and Tools for Software Safety and Security
description This Series presents the results of scientific meetings supported under the NATO Programme: Science for Peace and Security (SPS). The NATO SPS Programme supports meetings in the following Key Priority areas: (1) Defence Against Terrorism; (2) Countering other Threats to Security and (3) NATO, Partner and Mediterranean Dialogue Country Priorities. The types of meeting supported are generally “Advanced Study Institutes” and “Advanced Research Workshops”. The NATO SPS Series collects together the results of these meetings. The meetings are co-organized by scientists from NATO countries and scientists from NATO’s “Partner” or “Mediterranean Dialogue” countries. The observations and recommendations made at the meetings, as well as the contents of the volumes in the Series, reflect those of participants and contributors only; they should not necessarily be regarded as reflecting NATO views or policy.
format Book
author Broy, Manfred
Sitou, Wassiou
Hoare, Tony
author_facet Broy, Manfred
Sitou, Wassiou
Hoare, Tony
author_sort Broy, Manfred
title Engineering Methods and Tools for Software Safety and Security
title_short Engineering Methods and Tools for Software Safety and Security
title_full Engineering Methods and Tools for Software Safety and Security
title_fullStr Engineering Methods and Tools for Software Safety and Security
title_full_unstemmed Engineering Methods and Tools for Software Safety and Security
title_sort engineering methods and tools for software safety and security
publisher IOS Press
publishDate 2013
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35345
_version_ 1757654956247089152