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

Полное описание

Сохранить в:

Библиографические подробности
Главные авторы:	Davies, Jim, Silva, Leila, Simao, Adenilso
Формат:	‌
Язык:	English
Опубликовано:	Springer 2015
Предметы:	Formal methods Congresses Informatique
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57930
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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)