Formal Logical Methods for System Security and Correctness

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:	Grumberg, Orna, Nipkow, Tobias, Pfaller, Christian
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Những chủ đề:	Methods System
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35224
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-35224
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-352242014-01-20T00:06:02Z Formal Logical Methods for System Security and Correctness Grumberg, Orna Nipkow, Tobias Pfaller, Christian Methods System 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-08-27T09:08:57Z 2013-08-27T09:08:57Z 2008 Book 978-1-58603-843-4 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35224 en application/pdf IOS Press
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Methods System
spellingShingle	Methods System Grumberg, Orna Nipkow, Tobias Pfaller, Christian Formal Logical Methods for System Security and Correctness
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	Grumberg, Orna Nipkow, Tobias Pfaller, Christian
author_facet	Grumberg, Orna Nipkow, Tobias Pfaller, Christian
author_sort	Grumberg, Orna
title	Formal Logical Methods for System Security and Correctness
title_short	Formal Logical Methods for System Security and Correctness
title_full	Formal Logical Methods for System Security and Correctness
title_fullStr	Formal Logical Methods for System Security and Correctness
title_full_unstemmed	Formal Logical Methods for System Security and Correctness
title_sort	formal logical methods for system security and correctness
publisher	IOS Press
publishDate	2013
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35224
_version_	1757665143816192000

Formal Logical Methods for System Security and Correctness

Những quyển sách tương tự