Вы здесь

Главная

21053

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

Model-Based Safety and Assessment: Proc./7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 2020
Многоуровневый дедуктивный синтез программ