Parametric Timed Bisimulation

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags:	Konferenzveröffentlichung
Erschienen:	2020
Herausgeber:	Margaria, Tiziana ; Steffen, Bernhard
Autor(en):	Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Art des Eintrags:	Bibliographie
Titel:	Parametric Timed Bisimulation
Sprache:	Englisch
Publikationsjahr:	2020
Verlag:	Springer Nature
Buchtitel:	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Reihe:	Lecture Notes in Computer Science
Band einer Reihe:	12477
Veranstaltungstitel:	9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)
Veranstaltungsort:	Rhodes, Greece
Veranstaltungsdatum:	20.10.2020-30.10.2020
DOI:	10.1007/978-3-030-61470-6_5
Zusätzliche Informationen:	Proceedings Part II ; The event is postponed to 2021 due to the COVID-19 pandemic.
Fachbereich(e)/-gebiet(e):	18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik DFG-Sonderforschungsbereiche (inkl. Transregio) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik > Teilprojekt A4: Selbst-Adaption
Hinterlegungsdatum:	17 Feb 2021 08:55
Letzte Änderung:	17 Feb 2021 08:55
PPN:
Export:

Suche nach Titel in:	TUfind oder in Google

Frage zum Eintrag

Optionen (nur für Redakteure)

Redaktionelle Details anzeigen

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Datenschutzerklärung