Concepedia

Johanna Nellen

JN

1

Publications

17

Citations

1

H-Index

2016

Active since

Affiliations

RWTH Aachen University(Current)

Johanna Nellen is an author at RWTH Aachen University specializing in safety engineering, industrial engineering, and computer engineering.

Top concepts

Publications per year

2016–2016

1

Publications

1

Two CEGAR-based approaches for the safety verification of PLC-controlled plants

Johanna Nellen, Kai Driessen, Martin R. Neuhäußer et al. · Information Systems Frontiers · 2016 · 17 citations

, , +11

Rows per page

1–1 of 1