Вы здесь

Главная

верификация архитектуры

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

Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020
Formal Methods and Software Engineering: Proc./22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 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
Testing Software and Systems: Proc./32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 2020
Theory and Applications of Satisfiability Testing - SAT 2021: Proc./24th International Conference, Barcelona, Spain, July 2021