Formal Methods: Foundations and Applications

QR kȏd

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...

Spremljeno u:

Bibliografski detalji
Glavni autori:	Davies, Jim, Silva, Leila, Simao, Adenilso
Format:	Knjiga
Jezik:	English
Izdano:	Springer 2015
Teme:	Formal methods Congresses Informatique
Online pristup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57930
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

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 /
Izdano: (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
od: Bernardo, Marco, i dr.
Izdano: (2015)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
od: Bjørner, Nikolaj, i dr.
Izdano: (2015)

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

Informatique 73
Izdano: (1973)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
od: Baixeries, Jaume, i dr.
Izdano: (2015)

Enabling Real-Time Business Intelligence
od: Castellanos, M, i dr.
Izdano: (2015)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
od: Louërat, Marie-Minerve, i dr.
Izdano: (2015)

Information Security Applications 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers
od: Chung, Yongwha, i dr.
Izdano: (2015)

Teaching Formal Methods
Izdano: (2020)

Formal Methods: Foundations and Applications
od: Cavalheiro, Simone, i dr.
Izdano: (2020)

Formal Methods: Foundations and Applications
Izdano: (2020)

Technique et science informatiques /
od: Outin Helene
Izdano: (1995)

Concise Guide to Formal Methods
od: O'Regan, Gerard
Izdano: (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
od: Graf, Susanne, i dr.
Izdano: (2015)

Formal Methods in Software and Systems Modeling
Izdano: (2020)

Formal Methods Teaching
od: Dongol, Brijesh, i dr.
Izdano: (2020)

Finiteness and regularity in semigroups and formal languages /
od: De Luca, A.
Izdano: (1999)

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

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

Guide to Signals and Patterns in Image Processing (Foundations, Methods and Applications)
od: Das, Apurba
Izdano: (2015)

An introduction to formal languages and machine computation /
od: Yan, Song Y.
Izdano: (1998)

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

Computational Intelligence
od: Madani, K, i dr.
Izdano: (2015)

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
od: Rutkowski, L, i dr.
Izdano: (2015)

Computer networking and the Internet
od: Halsall, Fred
Izdano: (2005)

Formal Logical Methods for System Security and Correctness
od: Grumberg, Orna, i dr.
Izdano: (2013)

An Introduction to Formal Languages and Automata (Photo) /
od: Linz Peter
Izdano: (1990)

Proceedings of the workshop semigroups and languages
Izdano: (2004)

Integrated Formal Methods
od: Davies, Jim, i dr.
Izdano: (2020)

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

Data mining : concepts and techniques /
od: Han, Jiawei.
Izdano: (2006)

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

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

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

Formal Concept Analysis
od: Ganter, Bernhard, i dr.
Izdano: (2020)

Formal Grammar
od: Foret, Annie, i dr.
Izdano: (2020)

Formal Correctness of Security Protocols
od: Bella, Giampaolo
Izdano: (2020)

Formal Concept Analysis
od: Medina, Raoul, i dr.
Izdano: (2020)