Ovsiannikova, P., Pakonen, A., Muromsky, D., Kobzev, M., Dubinin, V., & Vyatkin, V. Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures. IEEE.
Chicago Style (17th ed.) CitationOvsiannikova, Polina, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, and Valeriy Vyatkin. Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures. IEEE.
MLA (9th ed.) CitationOvsiannikova, Polina, et al. Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures. IEEE.
Warning: These citations may not always be 100% accurate.