Text

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

---

Prosiding akses terbuka Lecture Notes in Computer Science 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. Sebanyak 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dengan saksama dan dipilih dari 261 kiriman. Prosiding ini telah disusun dalam beberapa bagian topik sebagai berikut: Bagian I: Automata dan logika; konkurensi; sistem siber-fisik dan hibrida; sintesis; Bagian II: Prosedur pengambilan keputusan; pemeriksaan model; jaringan saraf dan pembelajaran mesin; Bagian II: Sistem probabilistik; keamanan dan sistem kuantum; verifikasi perangkat lunak.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

005.14 ENE c

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource (XXI, 488 Pages)

Language

English

ISBN/ISSN

978-3-031-37706-8

Classification

005.14

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Uji Coba dan Pengukuran Perangkat Lunak

Specific Detail Info

-

Statement of Responsibility

Constantin Enea, Akash Lal

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-031-37706-8

Validator

erw

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-37706-8

Journal Volume

13964

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment