Actions for Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Email RIS file
Bookmark
Report an Issue

Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro

Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Physical Description
X, 305 pages 101 illustrations : online resource
Additional Creators
Cavalheiro, Simone, Fiadeiro, José, and SpringerLink (Online service)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Contents
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
Summary
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Subject(s)
ISBN
9783319708485
Digital File Characteristics
text file PDF
Part Of
Springer eBooks
View MARC record | catkey: 22078347