Formal Methods: Foundations and Applications

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

保存先:

書誌詳細
主要な著者:	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, 等
出版事項: (2015)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
著者:: Bjørner, Nikolaj, 等
出版事項: (2015)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
著者:: Núñez, Manuel, 等
出版事項: (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, 等
出版事項: (2015)

Informatique 73
出版事項: (1973)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
著者:: Baixeries, Jaume, 等
出版事項: (2015)

Enabling Real-Time Business Intelligence
著者:: Castellanos, M, 等
出版事項: (2015)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
著者:: Louërat, Marie-Minerve, 等
出版事項: (2015)

Information Security Applications 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers
著者:: Chung, Yongwha, 等
出版事項: (2015)

Teaching Formal Methods
出版事項: (2020)

Formal Methods: Foundations and Applications
著者:: Cavalheiro, Simone, 等
出版事項: (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, 等
出版事項: (2015)

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

Formal Methods Teaching
著者:: Dongol, Brijesh, 等
出版事項: (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, 等
出版事項: (2015)

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
著者:: Rutkowski, L, 等
出版事項: (2015)

Computer networking and the Internet
著者:: Halsall, Fred
出版事項: (2005)

Formal Logical Methods for System Security and Correctness
著者:: Grumberg, Orna, 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (2020)

Formal Grammar
著者:: Foret, Annie, 等
出版事項: (2020)

Formal Correctness of Security Protocols
著者:: Bella, Giampaolo
出版事項: (2020)

Formal Concept Analysis
著者:: Medina, Raoul, 等
出版事項: (2020)