Formal Methods: Foundations and Applications

QR code

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

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	Davies, Jim, Silva, Leila, Simao, Adenilso
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Springer 2015
Onderwerpen:	Formal methods Congresses Informatique
Online toegang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57930
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige 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 /
Gepubliceerd in: (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
door: Bernardo, Marco, et al.
Gepubliceerd in: (2015)

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

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

Informatique 73
Gepubliceerd in: (1973)

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

Enabling Real-Time Business Intelligence
door: Castellanos, M, et al.
Gepubliceerd in: (2015)

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

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

Teaching Formal Methods
Gepubliceerd in: (2020)

Formal Methods: Foundations and Applications
door: Cavalheiro, Simone, et al.
Gepubliceerd in: (2020)

Formal Methods: Foundations and Applications
Gepubliceerd in: (2020)

Technique et science informatiques /
door: Outin Helene
Gepubliceerd in: (1995)

Concise Guide to Formal Methods
door: O'Regan, Gerard
Gepubliceerd in: (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
door: Graf, Susanne, et al.
Gepubliceerd in: (2015)

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

Formal Methods Teaching
door: Dongol, Brijesh, et al.
Gepubliceerd in: (2020)

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

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

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

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

An introduction to formal languages and machine computation /
door: Yan, Song Y.
Gepubliceerd in: (1998)

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

Computational Intelligence
door: Madani, K, et al.
Gepubliceerd in: (2015)

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

Computer networking and the Internet
door: Halsall, Fred
Gepubliceerd in: (2005)

Formal Logical Methods for System Security and Correctness
door: Grumberg, Orna, et al.
Gepubliceerd in: (2013)

An Introduction to Formal Languages and Automata (Photo) /
door: Linz Peter
Gepubliceerd in: (1990)

Proceedings of the workshop semigroups and languages
Gepubliceerd in: (2004)

Integrated Formal Methods
door: Davies, Jim, et al.
Gepubliceerd in: (2020)

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

Data mining : concepts and techniques /
door: Han, Jiawei.
Gepubliceerd in: (2006)

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

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

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

Formal Concept Analysis
door: Ganter, Bernhard, et al.
Gepubliceerd in: (2020)

Formal Grammar
door: Foret, Annie, et al.
Gepubliceerd in: (2020)

Formal Correctness of Security Protocols
door: Bella, Giampaolo
Gepubliceerd in: (2020)

Formal Concept Analysis
door: Medina, Raoul, et al.
Gepubliceerd in: (2020)