Formal Methods: Foundations and Applications

Mã QR

Formal Methods: Foundations and Applications

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad ran...

Đã lưu trong:

书目详细资料
Những tác giả chính:	Davies, Jim, Silva, Leila, Simao, Adenilso
格式:	图书
语言:	English
出版:	Springer 2015
主题:	Formal methods Congresses Informatique
在线阅读:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57930
标签:	添加标签没有标签, 成为第一个标记此记录!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

相似书籍

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 /
出版: (2001)

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
由: Bernardo, Marco, et al.
出版: (2015)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
由: Bjørner, Nikolaj, et al.
出版: (2015)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
由: Núñez, Manuel, et al.
出版: (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
由: Counsell, Steve, et al.
出版: (2015)

Informatique 73
出版: (1973)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
由: Baixeries, Jaume, et al.
出版: (2015)

Enabling Real-Time Business Intelligence
由: Castellanos, M, et al.
出版: (2015)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
由: Louërat, Marie-Minerve, et al.
出版: (2015)

Information Security Applications 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers
由: Chung, Yongwha, et al.
出版: (2015)

Teaching Formal Methods
出版: (2020)

Formal Methods: Foundations and Applications
由: Cavalheiro, Simone, et al.
出版: (2020)

Formal Methods: Foundations and Applications
出版: (2020)

Technique et science informatiques /
由: Outin Helene
出版: (1995)

Concise Guide to Formal Methods
由: O'Regan, Gerard
出版: (2020)

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
由: Graf, Susanne, et al.
出版: (2015)

Formal Methods in Software and Systems Modeling
出版: (2020)

Formal Methods Teaching
由: Dongol, Brijesh, et al.
出版: (2020)

Finiteness and regularity in semigroups and formal languages /
由: De Luca, A.
出版: (1999)

Formal analysis of hybrid prefix/carry-select arithmetic systems /

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

Guide to Signals and Patterns in Image Processing (Foundations, Methods and Applications)
由: Das, Apurba
出版: (2015)

An introduction to formal languages and machine computation /
由: Yan, Song Y.
出版: (1998)

Formalization and theoretical analysis of the local effect model /
由: Beuve, M.

Computational Intelligence
由: Madani, K, et al.
出版: (2015)

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
由: Rutkowski, L, et al.
出版: (2015)

Computer networking and the Internet
由: Halsall, Fred
出版: (2005)

Formal Logical Methods for System Security and Correctness
由: Grumberg, Orna, et al.
出版: (2013)

An Introduction to Formal Languages and Automata (Photo) /
由: Linz Peter
出版: (1990)

Proceedings of the workshop semigroups and languages
出版: (2004)

Integrated Formal Methods
由: Davies, Jim, et al.
出版: (2020)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
出版: (2002)

Data mining : concepts and techniques /
由: Han, Jiawei.
出版: (2006)

Linear and nonlinear conjugate gradient-related methods /
出版: (1996)

Use case driven object modeling with UML
由: Rosenberg, Doug

Convergence of formal morphisms of completions of complex spaces /
由: Izumi, Shuzo.

Formal Concept Analysis
由: Ganter, Bernhard, et al.
出版: (2020)

Formal Grammar
由: Foret, Annie, et al.
出版: (2020)

Formal Correctness of Security Protocols
由: Bella, Giampaolo
出版: (2020)

Formal Concept Analysis
由: Medina, Raoul, et al.
出版: (2020)