Вы здесь

Главная

количественный анализ

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

Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020
Formal Modeling and Analysis of Timed Systems: Proc./13th International Conference, FORMATS 2015, Madrid, Spain, September 2015
Hybrid Systems Biology: Revised Selected Papers/4th International Workshop, HSB 2015, Madrid, Spain, September 2015