Image of Computer Aided Verification; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Bookmark Share

Text

Computer Aided Verification; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah tersebut disusun dalam bagian topik berikut: Bagian I: Verifikasi AI; Blockchain dan Keamanan; Konkurensi; Verifikasi perangkat keras dan prosedur keputusan; dan sistem hibrida dan dinamis. Bagian II: Pemeriksaan model; Verifikasi perangkat lunak; Sistem stokastik; dan sintesis. *Konferensi diadakan secara virtual karena pandemi COVID-19.

Availability

No copy data

Detail Information
Series Title
-
Call Number
005.14 LAH c
Publisher
Heidelberg, Jerman : Springer International Publishing.,
Collation
1 online resource (XVII, 669 Pages)
Language
English
ISBN/ISSN
978-3-030-53288-8
Classification
005.14
Content Type
text
Media Type
computer
Carrier Type
online resource
Edition
-
Subject(s)
Verifikasi perangkat lunak
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
erw
Source
https://link.springer.com/10.1007/978-3-030-53288-8
Validator
erw
Digital Object Identifier (DOI)
10.1007/978-3-030-53288-8
Journal Volume
12224
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment