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

Mã QR

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

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

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi: Bjørner, Nikolaj, et al.
Được phát hành: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Bỡi: Baixeries, Jaume, et al.
Được phát hành: (2015)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Bỡi: Counsell, Steve, et al.
Được phát hành: (2015)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Applied formal verification
Bỡi: Perry, Douglas L.
Được phát hành: (2005)

Run-time security traceability for evolving systems /
Bỡi: Bauer, Andreas.

Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Bỡi: D'Souza, Deepak, et al.
Được phát hành: (2015)

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Bỡi: Graf, Susanne, et al.
Được phát hành: (2015)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

Advanced Information Systems Engineering Workshops: CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
Bỡi: Persson, Anne, et al.
Được phát hành: (2015)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

"3+3 process" for safety critical software for I&C system in nuclear power plants /
Bỡi: Jung, Jae-Cheon.

First regional experts' workshop on food and agriculture policy (Workshop proceedings 23-24 June 1998
Được phát hành: (1998)

On formalizing and normalizing role-based access control systems /
Bỡi: Power, David.

Heuristic-guided abstraction refinement /

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Teaching Formal Methods
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Formal Grammar
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Multiple Classifier Systems: 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
Bỡi: Schwenker, Friedhelm, et al.
Được phát hành: (2015)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

User Modeling, Adaptation and Personalization: 23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings
Bỡi: Ricci, F, et al.
Được phát hành: (2015)

Formal Correctness of Security Protocols
Bỡi: Bella, Giampaolo
Được phát hành: (2020)

Analysis of the formal specification application for train control systems /
Bỡi: Jo, Hyun-Jeong.

Formal Concept Analysis
Bỡi: Medina, Raoul, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Kuznetsov, Sergei O., et al.
Được phát hành: (2020)

Formal Grammar 2018
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)

Formal Concept Analysis
Được phát hành: (2020)

Formal Grammar
Bỡi: Bernardi, Raffaella, et al.
Được phát hành: (2020)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Computer Networks: 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings
Bỡi: Gaj, Piotr, et al.
Được phát hành: (2015)

Formal Methods Teaching
Bỡi: Dongol, Brijesh, et al.
Được phát hành: (2020)

Networked Services and Applications Engineering, Control and Management 16th EUNICE/IFIPWG 6.6Workshop, EUNICE 2010 Trondheim, Norway, June 2830, 2010 Proceedings
Bỡi: Aagesen, Finn Arve
Được phát hành: (2012)