Başlık:
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Yazar:
Braga, Christiano. editor.
ISBN:
9783319150758
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
IX, 179 p. 39 illus. online resource.
Seri:
Programming and Software Engineering, 8941
İçerik:
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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-15075-8Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 519154-1001 | XX(519154.1) | Arıyor... | Arıyor... |