Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sectio...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Núñez, Manuel, Güdemann, Matthias
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Congresses Verification Computer programs Software engineering Formal methods
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58357
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-58357
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-583572023-11-11T06:06:30Z Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings Núñez, Manuel Güdemann, Matthias Congresses Verification Computer programs Software engineering Formal methods This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification. 2015-09-18T02:10:19Z 2015-09-18T02:10:19Z 2015 Book 978-3-319-19458-5 978-3-319-19457-8 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58357 en application/pdf Springer
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Congresses Verification Computer programs Software engineering Formal methods
spellingShingle	Congresses Verification Computer programs Software engineering Formal methods Núñez, Manuel Güdemann, Matthias Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
description	This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
format	Book
author	Núñez, Manuel Güdemann, Matthias
author_facet	Núñez, Manuel Güdemann, Matthias
author_sort	Núñez, Manuel
title	Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
title_short	Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
title_full	Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
title_fullStr	Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
title_full_unstemmed	Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
title_sort	formal methods for industrial critical systems: 20th international workshop, fmics 2015 oslo, norway, june 22-23, 2015 proceedings
publisher	Springer
publishDate	2015
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58357
_version_	1819788887368663040

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

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