02970nam 22007695 450 991034939320332120230124142414.03-030-03769-X10.1007/978-3-030-03769-7(CKB)4100000007127615(DE-He213)978-3-030-03769-7(MiAaPQ)EBC6301983(PPN)232470847(EXLCZ)99410000000712761520181107d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierRuntime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /edited by Christian Colombo, Martin Leucker1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) Programming and Software Engineering,2945-9168 ;11237Includes index.3-030-03768-1 Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Programming and Software Engineering,2945-9168 ;11237Software engineeringCompilers (Computer programs)Electronic digital computers—EvaluationComputer scienceComputersProfessionsMachine theorySoftware EngineeringCompilers and InterpretersSystem Performance and EvaluationComputer Science Logic and Foundations of ProgrammingThe Computing ProfessionFormal Languages and Automata TheorySoftware engineering.Compilers (Computer programs).Electronic digital computers—Evaluation.Computer science.Computers.Professions.Machine theory.Software Engineering.Compilers and Interpreters.System Performance and Evaluation.Computer Science Logic and Foundations of Programming.The Computing Profession.Formal Languages and Automata Theory.005.14005.14Colombo Christianedthttp://id.loc.gov/vocabulary/relators/edtLeucker Martinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349393203321Runtime Verification772115UNINA