FEEDBACK Smiley face
Normal view MARC view ISBD view

Runtime Verification [electronic resource] :18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /

Contributor(s): Colombo, Christian [editor.] | Leucker, Martin [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 11237Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: XI, 470 p. 113 illus., 42 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030037697.Subject(s): Computer Science | Software engineering | Computer science | Computer system performance | Logic design | Computer industry | Software Engineering | Programming Languages, Compilers, Interpreters | System Performance and Evaluation | Logics and Meanings of Programs | The Computing Profession | Mathematical Logic and Formal LanguagesOnline resources: Click here to access online
Contents:
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in