Marcus Gerhold I took the picture myself

Marcus Gerhold

, PhD

Calculated based on number of publications stored in Pure and citations from Scopus
20152024

Research activity per year

Filter
Chapter

Search results

  • 2023

    Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

    Wal, D. V. D., Gerhold, M. & Stoelinga, M., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). p. 242-258 17 p. (Lecture Notes in Computer Science book series; vol. 14290).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    43 Downloads (Pure)