Вы здесь

Главная

тестирование безопасности

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

Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Risk Assessment and Risk-Driven Testing: Revised Selected Papers/3rd International Workshop, RISK 2015, Berlin, Germany, June 2015