eBook: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
售價:
$585.00
購買後立即進貨, 約需 1-4 天
加入購物車
商品簡介
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Lecture Notes in Computer Science
eBook: Distributed Computer and Communication Networks: Control, Computation, Communications: 26th International Conference, DCCN 2023, Moscow, Russia
eBook: Distributed Computer and Communication Networks: Control, Computation, Communications: 26th International Conference, DCCN 2023, Moscow, Russia
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings (DRM EPUB)
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings (DRM PDF)
eBook: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (DRM EPUB)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I (DRM PDF)
eBook: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selec
eBook: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selec
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (DRM PDF)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II (DRM EPUB)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II (DRM PDF)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I (DRM EPUB) ... [顯示此系列所有商品]