Text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

---

Kumpulan buku akses terbuka Catatan Kuliah Ilmu Komputer (LNCS, Lecture Notes in Computer Science) -14933 + 14934 merupakan prosiding yang diseleksi dari Simposium Internasional ke-26 tentang Metode Formal, FM 2024, yang berlangsung di Milan, Italia, pada bulan September 2024. 51 makalah lengkap dan 4 makalah pendek yang disertakan dalam prosiding ini ditinjau dan dipilih secara saksama dari 219 kiriman. Prosiding ini juga mencakup 2 ceramah undangan dengan panjang makalah lengkap dan 10 makalah tutorial. Kontribusi tersebut disusun dalam bagian topik sebagai berikut: Bagian I: Makalah undangan; dasar-dasar verifikasi formal; fondasi; belajar dan memperbaiki; bahasa pemrograman - logika dan automata; Bagian II: Alat dan studi kasus; jalur sistem tertanam; jalur hari industri; makalah tutorial.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

004.21 PLA f

Publisher

Zurich, Switzerland : Springer International Publishing., 2025

Collation

1 online resource ( XXII, 680 Pages)

Language

English

ISBN/ISSN

978-3-031-71162-6

Classification

004.21

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Sistem Analisis Komputer

Specific Detail Info

-

Statement of Responsibility

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-031-71162-6

Validator

Erwin

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-71162-6

Journal Volume

14933

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment