Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Başlık:
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Yazar:
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
ISBN:
9783319708485
Edisyon:
1st ed. 2017.
Fiziksel Niteleme:
X, 305 p. 101 illus. online resource.
Seri:
Programming and Software Engineering ; 10623
İçindekiler:
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
Özet:
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Konu Başlığı:
Ek Kurum Yazar:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-70848-5