TU Darmstadt / ULB / TUbiblio

Parametric Timed Bisimulation

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Parametric Timed Bisimulation.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 55-71,
Springer Nature, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20.-30.10.2020, ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_5,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Editors: Margaria, Tiziana ; Steffen, Bernhard
Creators: Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Title: Parametric Timed Bisimulation
Language: English
Title of Book: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Series Name: Lecture Notes in Computer Science
Volume: 12477
Publisher: Springer Nature
ISBN: 978-3-030-61469-0
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
Event Title: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)
Event Location: Rhodes, Greece
Event Dates: 20.-30.10.2020
Date Deposited: 17 Feb 2021 08:55
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.

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details