Tools and Algorithms for the Construction and Analysis of Systems; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Tools and Algorithms for the Construction and Analysis of Systems; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Text

Tools and Algorithms for the Construction and Analysis of Systems; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

GROOTE, Jan Friso - Personal Name; LARSEN, Kim Guldstrand - Personal Name;

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi format daring karena pandemi COVID-19. Total 41 makalah lengkap yang disajikan dalam prosiding ditinjau dan dipilih dengan saksama dari 141 kiriman. Volume ini juga berisi 7 makalah alat; 6 makalah Demo Alat, 9 Makalah Kompetisi SV-Comp. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut: Bagian I: Teori Permainan; Verifikasi SMT; Probabilitas; Sistem Berwaktu; Jaringan Syaraf; Analisis Komunikasi Jaringan. Bagian II: Teknik Verifikasi (bukan SMT); Studi Kasus; Pembuatan/Validasi Bukti; Makalah Perkakas; Makalah Demo Perkakas; Makalah Kompetisi Perkakas SV-Comp.

Availability

No copy data

Detail Information

Series Title: -
Call Number: 005.1 GRO t
Publisher: Heidelberg, Jerman : Springer International Publishing., 2021
Collation: 1 online resource (XXI, 465 Pages)
Language: English
ISBN/ISSN: 978-3-030-72013-1
Classification: 005.1
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: -
Subject(s): Algoritma Komputer
Specific Detail Info: -
Statement of Responsibility: Jan Friso Groote, Kim Guldstrand Larsen

Other Information

Cataloger: erw
Source: https://link.springer.com/10.1007/978-3-030-72013-1
Validator: erw
Digital Object Identifier (DOI): 10.1007/978-3-030-72013-1
Journal Volume: 12652
Journal Issue: -
Subtitle: -
Parallel Title: -

Other version/related

No other version available

File Attachment

Tools and Algorithms for the Construction and Analysis of Systems; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 20

Comments

You must be logged in to post a comment