Вы здесь

Главная

легализация архитектуры

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

Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Formal Methods: Foundations and Applications: Proc./23rd International Symposium, SBMF 2020, Ouro Preto, Brazil, November 2020
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021
Rigorous State-Based Methods: Proc./8th International Conference, ABZ 2021, Ulm, Germany, June 2021
Theory and Applications of Satisfiability Testing - SAT 2021: Proc./24th International Conference, Barcelona, Spain, July 2021