Johanna Nellen

Identifiers

• name variant Johanna Nellen 0.50 · backfill

Papers (1)

1. Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development cs.LO · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Erika Abraham 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Md Tawhid Bin Waez 1 shared papers
• Philipp Berger 1 shared papers
• Thomas Rambow 1 shared papers