Вы здесь

Главная

критическая система

Связанные издания:

Critical Systems: Formal Methods and Automated Verification: Proc./Joint 21st IW on Formal Methods for Industrial Critical Systems and 16th IW on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2016
Formal Methods for Industrial Critical Systems: Proc./20th International Workshop, FMICS 2015, Oslo, Norway, June 2015
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Formal Methods: Proc./22nd International Symposium, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model-Based Safety and Assessment: Proc./5th International Symposium, IMBSA 2017, Trento, Italy, September 2017
Model-Based Safety and Assessment: Proc./6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 2019
Reliable Software Technologies - Ada-Europe 2015: Proc./20th Ada-Europe International Conference on RST, Madrid, Spain, June 2015
Reliable Software Technologies - Ada-Europe 2018: Proc./23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 2018
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016