Runtime Verification  18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /  [electronic resource] : 
edited by Christian Colombo, Martin Leucker. 
 - 1st ed. 2018. 
 - XI, 470 p. 113 illus., 42 illus. in color.  online resource. 
 - Programming and Software Engineering,  11237  2945-9168 ; .
 - Programming and Software Engineering,  11237 .
<br/><br/>Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783030037697 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-03769-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Compilers (Computer programs).<br/>Electronic digital computers--Evaluation.<br/>Computer science.<br/>Computers.<br/>Professions.<br/>Machine theory.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>System Performance and Evaluation.<br/>Computer Science Logic and Foundations of Programming.<br/>The Computing Profession.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1