Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings için kapak resmi
Başlık:
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Yazar:
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872
ISBN:
9783031681509
Basım Bilgisi:
1st ed. 2024.
Fiziksel Tanımlama:
XII, 260 p. 93 illus., 70 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 14952
Özet:
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 604788-1001 ONLINE
Arıyor...

On Order