TY  - BOOK
AU  - Cavalheiro,Simone
AU  - Fiadeiro,José
ED  - SpringerLink (Online service)
TI  - Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319708485
AV  - QA76.758 
U1  - 005.1 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computers
KW  - Computer simulation
KW  - Computer system failures
KW  - Software Engineering
KW  - Theory of Computation
KW  - Simulation and Modeling
KW  - The Computing Profession
KW  - System Performance and Evaluation
N1  - Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages; Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license
UR  - https://doi.org/10.1007/978-3-319-70848-5
ER  -