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

Natalia Garanina, Igor Anureev, Elena Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fingerprint Dive into the research topics of 'An ontology-based approach to support formal verification of concurrent systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science