Showing 1 - 2 results of 2 for search '"function block diagram"', query time: 0.03s Refine Results
  1. 1
    Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams

    Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

    Published 2025-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    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: “…Function block diagrams (FBDs)…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: