![]() |
![]() |
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universitat des Saarlandes) and a special session on (commercial) formal methods in industry. 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.
|
![]() ![]() You may like...
The President's Daily Brief Fifty Years…
Central Intelligence Agency
Hardcover
R781
Discovery Miles 7 810
Analysis and Design of Networks-on-Chip…
Rabab Ezz-Eldin, Magdy Ali El-Moursy, …
Hardcover
The Psychology of Humor - An Integrative…
Rod A. Martin, Thomas Ford
Paperback
R1,605
Discovery Miles 16 050
International Review of Research in…
Robert M. Hodapp, Deborah J. Fidler
Hardcover
R4,785
Discovery Miles 47 850
|