Automation Validation

Automation Validation is a formal verification process within automation system design that systematically confirms the correctness, reliability, and compliance of automated systems against predefined requirements, specifications, and operational constraints.

33

Publications

1.2K

Citations

123

Authors

61

Institutions

Publications per year

2017–2026

13

Authors

123

  1. VV
    Valeriy Vyatkin

    Luleå University of Technology, Sweden

    4 publications · 198 citations

    4

    h-index

  2. HH
    H.‐M. Hanisch

    Martin Luther University Halle-Wittenberg, Germany

    3 publications · 171 citations

    3

    h-index

  3. NS
    Nadja Schömig

    Würzburg Institute for Traffic Sciences (Germany), Germany

    2 publications · 64 citations

    2

    h-index

  4. JR
    John Rushby

    SRI International, United States

    2 publications · 65 citations

    2

    h-index

  5. FN
    Frederik Naujoks

    Würzburg Institute for Traffic Sciences (Germany), Germany

    2 publications · 64 citations

    2

    h-index

1–5 of 123

Venues

  1. Frontiers in Psychology

    1 publications · 98 citations

    1

    h-index

  2. 1

    h-index

  3. 1

    h-index

  4. Drug Safety

    1 publications · 42 citations

    1

    h-index

  5. Computers in Biology and Medicine

    1 publications · 49 citations

    1

    h-index

1–5