MPG.eBooks - Description: Runtime Verification

Cover Image

Read Now

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

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

Bibliographic Details
Other Authors:	Colombo, Christian (Editor), Leucker, Martin (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2018, 2018
Edition:	1st ed. 2018
Series:	Programming and Software Engineering
Subjects:	Electronic Digital Computers / Evaluation Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science System Performance And Evaluation Professions The Computing Profession Formal Languages And Automata Theory Computers Machine Theory
Online Access:	https://doi.org/10.1007/978-3-030-03769-7?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
Summary:	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
Physical Description:	XI, 470 p. 113 illus., 42 illus. in color online resource
ISBN:	9783030037697