Formal verification of non-functional requirements of overall instrumentation and control architectures
- Polina Ovsiannikova
- , Antti Pakonen
- , Dmitry Muromsky
- , Maksim Kobzev
- , Viktor Dubinin
- , Valeriy Vyatkin
- Aalto University
- Luleå University of Technology
Research output: Contribution to journal › Article › Scientific › peer-review
1
Link opens in a new tab
Citation
(Scopus)