Fingerprint
Dive into the research topics of 'Formal verification of non-functional requirements of overall instrumentation and control architectures'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal verification of non-functional requirements of overall instrumentation and control architectures
Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin
Research output: Contribution to journal › Article › Scientific › peer-review
14
Downloads
(Pure)