Record:   Prev Next
Author Brazilian Symposium on Formal Methods (20th : 2017 : Recife, Brazil)
Title Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / edited by Simone Cavalheiro, Jose Fiadeiro
Imprint Cham : Springer International Publishing : Imprint: Springer, 2017
book jacket
Descript 1 online resource (x, 305 pages) : illustrations, digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Series Lecture notes in computer science, 0302-9743 ; 10623
Lecture notes in computer science ; 10623
Note Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license
Host Item Springer eBooks
Subject Formal methods (Computer science) -- Congresses
Computer Science
Software Engineering
Theory of Computation
Simulation and Modeling
The Computing Profession
System Performance and Evaluation
Alt Author Cavalheiro, Simone, editor
Fiadeiro, Jose, editor
SpringerLink (Online service)
Alt Title SBMF 2017
Record:   Prev Next