Software system reliability and security

Because of concerted research over the last twenty-five years, model-checking of reactive systems is now well-understood theoretically as well as applied in practice. The theories of temporal logics and automata have played a foundational role in this area.

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Broy, Manfred, Grünbauer, Johannes, Hoare, Tony
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Những chủ đề:	Software Security
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35122
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-35122
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-351222014-01-20T00:11:54Z Software system reliability and security Broy, Manfred Grünbauer, Johannes Hoare, Tony Software Security Because of concerted research over the last twenty-five years, model-checking of reactive systems is now well-understood theoretically as well as applied in practice. The theories of temporal logics and automata have played a foundational role in this area. 2013-08-19T09:13:32Z 2013-08-19T09:13:32Z 2006 Book 978-1-58603-731-4 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35122 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 Security
spellingShingle	Software Security Broy, Manfred Grünbauer, Johannes Hoare, Tony Software system reliability and security
description	Because of concerted research over the last twenty-five years, model-checking of reactive systems is now well-understood theoretically as well as applied in practice. The theories of temporal logics and automata have played a foundational role in this area.
format	Book
author	Broy, Manfred Grünbauer, Johannes Hoare, Tony
author_facet	Broy, Manfred Grünbauer, Johannes Hoare, Tony
author_sort	Broy, Manfred
title	Software system reliability and security
title_short	Software system reliability and security
title_full	Software system reliability and security
title_fullStr	Software system reliability and security
title_full_unstemmed	Software system reliability and security
title_sort	software system reliability and security
publisher	IOS Press
publishDate	2013
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35122
_version_	1757671975785857024

Software system reliability and security

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