Research output

1. Соревнования по формальной верификации VeHa-2023: опыт проведения

   Research output: Contribution to journal › Article › peer-review

2. An ontology-based approach to support formal verification of concurrent systems

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

3. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (6) »