Eduard Kamburjan
发表
Reiner Hähnle,
Einar Broch Johnsen,
Crystal Chang Din,
2019,
SEFM.
Reiner Hähnle,
Eduard Kamburjan,
2016,
FTSCS.
Eduard Kamburjan,
2019
.
Reiner Hähnle,
Einar Broch Johnsen,
Crystal Chang Din,
2020,
20 Years of KeY.
Eduard Kamburjan,
2019,
ArXiv.
Eduard Kamburjan,
2018,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Reiner Hähnle,
Eduard Kamburjan,
Michael Lienhardt,
2018,
Principled Software Development.
Eduard Kamburjan,
Tzu-Chun Chen,
2018,
IFM.
Reiner Hähnle,
Eduard Kamburjan,
Michael Lienhardt,
2018,
SPLC.
Eduard Kamburjan,
2019,
TABLEAUX.
Reiner Hähnle,
Eduard Kamburjan,
Reiner Hähnle,
2018,
ICE.
Eduard Kamburjan,
Nathan Wasser,
Quoc Huy Do,
2016,
POST.
Eduard Kamburjan,
Tzu-Chun Chen,
2018,
ArXiv.
Eduard Kamburjan,
2020
.
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
pdf
Eduard Kamburjan,
Jonas Stromberg,
2019,
F-IDE@FM.
Eduard Kamburjan,
2016
.
Reiner Hähnle,
Eduard Kamburjan,
Sebastian Schön,
2018,
Sci. Comput. Program..
Reiner Hähnle,
Eduard Kamburjan,
2017,
RSSRail.
Reiner Hähnle,
Eduard Kamburjan,
Dilian Gurov,
2020,
ISoLA.
Crystal Chang Din,
Eduard Kamburjan,
Tzu-Chun Chen,
2016,
ICFEM.
Reiner Hähnle,
Eduard Kamburjan,
Stefan Mitsch,
2019,
ArXiv.
Reiner Hähnle,
Eduard Kamburjan,
Michael Lienhardt,
2017,
FASE.
Egor V. Kostylev,
Eduard Kamburjan,
Eduard Kamburjan,
2021,
Description Logics.
Eduard Kamburjan,
2021,
HSCC.
Eduard Kamburjan,
Marco Scaletta,
Nils Rollshausen,
2021,
ArXiv.
Reiner Hähnle,
Eduard Kamburjan,
Michael Lienhardt,
2021,
SPLC.
Einar Broch Johnsen,
Eduard Kamburjan,
Silvia Lizeth Tapia Tarifa,
2021,
COORDINATION.
Einar Broch Johnsen,
Eduard Kamburjan,
Martin Giese,
2021,
ESWC.
Eduard Kamburjan,
Nathan Wasser,
2021,
ArXiv.