Text

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

---

Prosiding akses terbuka LNCS 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. 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dan dipilih secara saksama dari 261 kiriman. Makalah-makalah tersebut 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

-

Call Number

005.14 ENE c

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource (XVII, 502 Pages)

Language

English

ISBN/ISSN

978-3-031-37709-9

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

Constantin Enea, Akash Lal

Other Information

Cataloger

erw

Source

https://link.springer.com/10.1007/978-3-031-37709-9

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-031-37709-9

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment