Skip to content

Daan van der Meij

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2022–2022

Best venue rank

A

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2022ICSTTranslating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems.Tobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu