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

Saved in:

Bibliographic Details
Meeting name:	RV (Conference) (18th : 2018 : Limassol, Cyprus)
Imprint:	Cham, Switzerland : Springer, 2018.
Description:	1 online resource (xi, 470 pages) : illustrations (some color)
Language:	English
Series:	Lecture notes in computer science ; 11237 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 11237. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer software -- Verification -- Congresses. Formal methods (Computer science) -- Congresses. Computer software -- Testing -- Congresses. Computer software -- Testing. Computer software -- Verification. Formal methods (Computer science) Electronic books. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11737517

Hidden Bibliographic Details
Varying Form of Title:	RV 2018
Other authors / contributors:	Colombo, Christian, editor. Leucker, Martin, editor.
ISBN:	9783030037697 303003769X 9783030037680
Digital file characteristics:	text file PDF
Notes:	International conference proceedings. Includes author index. Online resource; title from PDF title page (SpringerLink, viewed November 20, 2018).
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.
Other form:	Printed edition: 9783030037680 Printed edition: 9783030037703
Standard no.:	10.1007/978-3-030-03769-7

Similar Items