Formal Methods: Foundations and Applications

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Davies, Jim, Silva, Leila, Simao, Adenilso
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Springer 2015
Aiheet:	Formal methods Congresses Informatique
Linkit:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57930
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

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 /
Julkaistu: (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
Tekijä: Bernardo, Marco, et al.
Julkaistu: (2015)

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

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

Informatique 73
Julkaistu: (1973)

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

Enabling Real-Time Business Intelligence
Tekijä: Castellanos, M, et al.
Julkaistu: (2015)

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

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

Teaching Formal Methods
Julkaistu: (2020)

Formal Methods: Foundations and Applications
Tekijä: Cavalheiro, Simone, et al.
Julkaistu: (2020)

Formal Methods: Foundations and Applications
Julkaistu: (2020)

Technique et science informatiques /
Tekijä: Outin Helene
Julkaistu: (1995)

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

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

Formal Methods Teaching
Tekijä: Dongol, Brijesh, et al.
Julkaistu: (2020)

Finiteness and regularity in semigroups and formal languages /
Tekijä: De Luca, A.
Julkaistu: (1999)

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

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

Guide to Signals and Patterns in Image Processing (Foundations, Methods and Applications)
Tekijä: Das, Apurba
Julkaistu: (2015)

An introduction to formal languages and machine computation /
Tekijä: Yan, Song Y.
Julkaistu: (1998)

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

Computational Intelligence
Tekijä: Madani, K, et al.
Julkaistu: (2015)

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

Computer networking and the Internet
Tekijä: Halsall, Fred
Julkaistu: (2005)

Formal Logical Methods for System Security and Correctness
Tekijä: Grumberg, Orna, et al.
Julkaistu: (2013)

An Introduction to Formal Languages and Automata (Photo) /
Tekijä: Linz Peter
Julkaistu: (1990)

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

Integrated Formal Methods
Tekijä: Davies, Jim, et al.
Julkaistu: (2020)

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

Data mining : concepts and techniques /
Tekijä: Han, Jiawei.
Julkaistu: (2006)

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

Use case driven object modeling with UML
Tekijä: Rosenberg, Doug

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

Formal Concept Analysis
Tekijä: Ganter, Bernhard, et al.
Julkaistu: (2020)

Formal Grammar
Tekijä: Foret, Annie, et al.
Julkaistu: (2020)

Formal Correctness of Security Protocols
Tekijä: Bella, Giampaolo
Julkaistu: (2020)

Formal Concept Analysis
Tekijä: Medina, Raoul, et al.
Julkaistu: (2020)