Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cavalheiro, Simone (Επιμελητής έκδοσης), Fiadeiro, José (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10623
• Θέματα: Computer science.; Computer system failures.; Software engineering.; Computers.; Computer simulation.; Computer Science.; Software Engineering.; Theory of Computation.; Simulation and Modeling.; The Computing Profession.; System Performance and Evaluation.
• Φυσική περιγραφή: X, 305 p. 101 illus. online resource.
• ISBN: 9783319708485
• ISSN: 0302-9743 ;

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.