Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen
Fakultäten (univ.)
(25925)
Fakultäten (HAW)
(2148)
Forschungszentren und -initiativen
(2919)
CISS
(90)
CODE
(1148)
dtec.bw
(535)
INDOR
(597)
MARC
(30)
MORE
(69)
MOVE
(15)
RISK
(332)
SENS
(5)
SPACE
(181)
Weitere Einrichtungen
(18)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen
Forschungszentren und -initiativen
CODE
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Autorinnen/Autoren:
Matussek, Tim; Brunthaler, Stefan
Dokumenttyp:
Vortrag / Presentation
Titel:
Dynamische Bisimulation
Untertitel:
Verhält sich Dein Interpreter richtig?
Konferenztitel:
Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte (42., 2026, Bad Honnef)
Tagungsort:
Bad Honnef, Germany
Jahr der Konferenz:
2026
Datum Beginn der Konferenz:
06.05.2026
Datum Ende der Konferenz:
08.05.2026
Jahr:
2026
Sprache:
Deutsch
Fakultät:
Fakultät für Informatik
Institut:
INF 6 - Institut für Systemsicherheit
Professorin/Professor:
Brunthaler, Stefan
Forschungszentrum:
CODE
Open Access:
Nein / No
Vortrag bei:
42. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte 2026
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Publikationen
Forschungszentren und -initiativen
CODE