Logo des Repositoriums
 

Runtime Verification of Self-Adaptive Systems with Changing Requirements

Kurzanzeige
dc.contributor.authorCarwehl, Marc
dc.contributor.authorVogel, Thomas
dc.contributor.authorNunes Rodrigues, Genaína
dc.contributor.authorGrunske, Lars
dc.contributor.editorRabiser, Rick
dc.contributor.editorWimmer, Manuel
dc.contributor.editorGroher, Iris
dc.contributor.editorWortmann, Andreas
dc.contributor.editorWiesmayr, Bianca
dc.date.accessioned2024-02-19T09:22:50Z
dc.date.available2024-02-19T09:22:50Z
dc.date.issued2024
dc.identifier.doi10.18420/sw2024_50
dc.identifier.isbn978-3-88579-737-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/43596
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering 2024 (SE 2024)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-343
dc.subjectRuntime verification
dc.subjectProperty specification patterns
dc.subjectSelf-adaptive systems
dc.titleRuntime Verification of Self-Adaptive Systems with Changing Requirementsen
dc.typeText/Conference Paper
gi.citation.endPage152
gi.citation.publisherPlaceBonn
gi.citation.startPage151
gi.conference.date26. Februar-1. März 2024
gi.conference.locationLinz, Österreich
gi.conference.sessiontitleSelf-Adaptive Systems

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
selfadaptivesystems3.pdf
Größe:
144.63 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P343 - Software Engineering 2024