Parametric Timed Bisimulation

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
eds.: 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
Conference or Workshop Item, Bibliographie

Item Type:	Conference or Workshop Item
Erschienen:	2020
Editors:	Margaria, Tiziana ; Steffen, Bernhard
Creators:	Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Type of entry:	Bibliographie
Title:	Parametric Timed Bisimulation
Language:	English
Date:	2020
Publisher:	Springer Nature
Book Title:	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Series:	Lecture Notes in Computer Science
Series Volume:	12477
Event Title:	9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)
Event Location:	Rhodes, Greece
Event Dates:	20.10.2020-30.10.2020
DOI:	10.1007/978-3-030-61470-6_5
Additional Information:	Proceedings Part II ; The event is postponed to 2021 due to the COVID-19 pandemic.
Divisions:	18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering DFG-Collaborative Research Centres (incl. Transregio) DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology > Subproject A4: Self-Adaptation
Date Deposited:	17 Feb 2021 08:55
Last Modified:	17 Feb 2021 08:55
PPN:
Export:

Suche nach Titel in:	TUfind oder in Google

Send an inquiry

Options (only for editors)

Show editorial Details

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

Drucken |

Impressum |

Datenschutzerklärung