Browse by Person
![]() | Up a level |
Kamburjan, Eduard (2020):
Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00011664,
[Ph.D. Thesis]
Zweigel, René ; Gehrt, Jan-Jöran ; Abel, Dirk ; Reinhart, Peter ; Wanstrath, Sven ; Üyümez, Bilal ; Schön, Sebastian ; Kamburjan, Eduard ; Hähnle, Reiner
Oetting, Andreas ; Düpmeier, Frederik (eds.) (2018):
Scientific Railway Signalling Symposium 2018 -
Digital neue Wege fahren.
Scientific Railway Signalling Symposium, Darmstadt, 13.06.2018, [Conference or Workshop Item]
Meyer zu Hörste, Michael ; Kamburjan, Eduard ; Hähnle, Reiner ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Leining, Michael ; Spindler, Max ; Lauer, Martin ; Stein, Denis ; Heirich, Oliver ; Groos, Jörn ; Geffert, Arne ; Becker, Uwe ; Breuer, Michael ; Bachurina, Daria ; Düpmeier, Frederik
Oetting, Andreas (ed.) (2017):
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
In: Scientific Railway Signalling Symposium, Darmstadt, Die Steuerung des Eisenbahnbetriebs der Zukunft, Darmstadt, 19.04.2017, [Conference or Workshop Item]