Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	RV (Conference) (21st : 2021 : Online)
Imprint:	Cham : Springer, [2021] ©2021
Description:	1 online resource : illustrations (some color).
Language:	English
Series:	Lecture notes in computer science ; 12974 Lecture notes in computer science. Formal methods LNCS sublibrary: SL2 - Programming and software engineering Lecture notes in computer science ; 12974. Lecture notes in computer science. Formal methods. 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. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/12665334

Hidden Bibliographic Details
Varying Form of Title:	RV 2021
Other authors / contributors:	Feng, Lu, editor. Fisman, Dana, editor.
ISBN:	9783030884949 3030884945 9783030884932 3030884937
Notes:	International conference proceedings. Includes author index. Online resource; title from PDF title page (SpringerLink, viewed October 12, 2021).
Summary:	This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. .
Other form:	Original 3030884937 9783030884932
Standard no.:	10.1007/978-3-030-88494-9

Similar Items