TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Konferenzveröffentlichung

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Virtual Event / Krems, Austria (09.02.2021-11.02.2021)
doi: 10.1145/3442391.3442409
Konferenzveröffentlichung, Bibliographie

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

Diese Liste wurde am Sat Dec 21 04:33:50 2024 CET generiert.