Judith Przigoda

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Uml Class Diagrams

Top Venues

Publications

Stefan Engels, Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. CoRR (2023)
Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
Optimal Railway Routing Using Virtual Subsections. RSSRail (2022)
Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda
Towards Automatic Design and Verification for Level 3 of the European Train Control System. DATE (2021)
Nils Przigoda, Judith Przigoda, Robert Wille
Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. ISMVL (2019)