Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
by Alberto Lluch Lafuente, Anastasia Mavridou Paperback 2021
- Author: Alberto Lluch Lafuente, Anastasia Mavridou
- ISBN 13: 9783030852474
- ISBN 10: 3030852474
- Publication Year: 2021
- Language: English
Specifications
Index-103030852474
LanguageEnglish
Index-139783030852474
Period-
Class Track-
Publisher- (2021)
Pages-