ISBN: 9783031436802
TITLE: Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20???22, 2023, Proceedings : 14290
AUTHOR: Alessandro Cimatti
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 17 Sep 2023
Popular Trending Products
ISBN: 9783642158971TITLE: Formal Methods for Industrial Critical Systems : 15th International Worksh…
ISBN: 9783031438349TITLE: Quantitative Evaluation of Systems : 20th International Conference, QEST 2…
ISBN: 9783031426254TITLE: Formal Modeling and Analysis of Timed Systems : 21st International Confere…
ISBN: 9783030002435TITLE: Formal Methods for Industrial Critical Systems : 23rd International Confer…
ISBN: 9783319661988TITLE: Software Engineering and Formal Methods : 15th International Conference, S…
