Home Page
» Online Library » Formal verification of nonfunctional requirements of overall instrumentation and control architectures
Formal verification of nonfunctional requirements of overall instrumentation and control architectures
| Theme: | ||
| Author: | ||
| Type: | Article | |
| Kind: | Electronic copy | |
| Parts: | 1 | |
| The year of publishing: | 2024 | |
| Publishing house: | IEEE Publisher | |
| Publishing place: | USA | |
| The target audience: | Researcher | |
| Special purpose: | Scientific | |
| Copyright holder: | IEEE | |
| DOI: | 10.1109/OJIES.2024.3413568 | |
| SJR: | 6.138 | |
| Bibliographic reference: | Ovsiannikova P., Pakonen A., Muromsky D., Kobzev M., Dubinin V., Vyatkin V. Formal verification of nonfunctional requirements of overall instrumentation and control architectures // IEEE Open Journal of the Industrial Electronics Society. – 2024. – Volume 5. – P. 616 - 631. | |
| Url: | https://ieeexplore.ieee.org/document/10555152 | |
| Language: | English | |
| Post date: | 02.11.2024 |