Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Programming and Software Engineering ; 11237 | SpringerLink BücherPublisher: Cham : Springer International Publishing, 2018Description: Online-Ressource (XI, 470 p. 113 illus., 42 illus. in color, online resource)ISBN:

9783030037697

Subject(s):

Additional physical formats: 9783030037680 | 9783030037703 | Erscheint auch als: 978-3-030-03768-0 Druck-Ausgabe | Printed edition: 9783030037680 | Printed edition: 9783030037703 DDC classification:

005.1

LOC classification:

QA76.758

DOI: DOI: 10.1007/978-3-030-03769-7Online resources:

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.comSummary: Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool PapersPPN: PPN: 1041330286Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )
Title notes ( 1 )

No physical items for this record

Reproduktion. (Springer eBook Collection. Computer Science)

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)