02962nam 22006855 450 991048471800332120200704062719.03-319-70848-110.1007/978-3-319-70848-5(CKB)4340000000223558(DE-He213)978-3-319-70848-5(MiAaPQ)EBC6301738(MiAaPQ)EBC5577306(Au-PeEL)EBL5577306(OCoLC)1066199513(PPN)221251693(EXLCZ)99434000000022355820171110d2017 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierFormal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /edited by Simone Cavalheiro, José Fiadeiro1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (X, 305 p. 101 illus.)Programming and Software Engineering ;106233-319-70847-3 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.Programming and Software Engineering ;10623Software engineeringComputersComputer simulationComputer system failuresSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000The Computing Professionhttps://scigraph.springernature.com/ontologies/product-market-codes/I24075System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software engineering.Computers.Computer simulation.Computer system failures.Software Engineering.Theory of Computation.Simulation and Modeling.The Computing Profession.System Performance and Evaluation.004.0151Cavalheiro Simoneedthttp://id.loc.gov/vocabulary/relators/edtFiadeiro Joséedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484718003321Formal Methods: Foundations and Applications773789UNINA