Вы здесь

Главная

runtime-verification

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

Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
Runtime Verification: Proc./19th International Conference, RV 2019, Porto, Portugal, October 2019
Runtime Verification: Proc./21st International Conference, RV 2021, Virtual Event, October 2021
Towards a Service-Based Internet: Proc./4th European Conference, ServiceWave 2011, Poznan, Poland, October 2011
Transactions on Aspect-Oriented Software Development XI