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...
Đã lưu trong:
Những tác giả chính: | , , |
---|---|
Đị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 |