Formal methods [electronic resource] : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.
Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil); Braga, Christiano, editor.; Martí-Oliet, N. (Narciso), editor.
2015
QA76.9.F67 B73 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal methods [electronic resource] : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.
Meeting Name Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)
ISBN 9783319150758 electronic book
3319150758 electronic book
9783319150741
DOI https://doi.org/10.1007/978-3-319-15075-8
Published Cham : Springer, 2015.
Language English
Description 1 online resource (ix, 179 pages) : illustrations.
Item Number 10.1007/978-3-319-15075-8 doi
Call Number QA76.9.F67 B73 2015eb
Dewey Decimal Classification 004.01/51
Summary This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed January 28, 2015).
Added Author Braga, Christiano, editor.
Martí-Oliet, N. (Narciso), editor.
Series Lecture notes in computer science ; 8941.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 9783319150741
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
LLVM-based code generation for B
Equational abstractions in rewriting logic and Maude
Formalization of ZSyntax to reason about Molecular Pathways in HOL4
Test Case Selection Criteria for Symbolic Models of Real-Time Systems
Model-Driven Engineering in the Heterogeneous Tool Set
A coinductive animation of Turing Machines
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model
Dynamic logics for every season
Completeness and decidability results for hybrid(ised) logics
Parameterisation of Three-Valued Abstractions.

Browse Subjects

Show more subjects...

Statistics

from
to
Export