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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Colombo, Christian (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Leucker, Martin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 11237
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer system failures.; Computer logic.; Computers.; Mathematical logic.; Software Engineering.; Programming Languages, Compilers, Interpreters.; System Performance and Evaluation.; Logics and Meanings of Programs.; The Computing Profession.; Mathematical Logic and Formal Languages.

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.

Πίνακας περιεχομένων:

• Invited Papers
• Tutorial Papers
• Regular Papers
• Short Papers
• Tool Papers.