Showing 1 - 1 results of 1 for search '"logical programming"', query time: 0.02s Refine Results
  1. 1
    Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

    Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures by Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin

    Published 2024-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: