Marcus Gerhold - Research output - University of Twente Research Information

h-index

Research activity per year

9 Conference contribution
3 Article
1 Chapter
1 Conference article
More
- 1 PhD Thesis - Research UT, graduation UT
- 1 Working paper

1 results

Filter

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 proceeding › Chapter › Academic › peer-review

Open Access
File
43 Downloads (Pure)