Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: 12863 (Lecture Notes in Computer Science, 12863)

More Information

Format: Paperback
Pages: 261
Edition: 1st ed. 2021
Publisher: Springer
Published: 10 Aug 2021
ISBN 10: 3030852474
ISBN 13: 9783030852474