Logo des Repositoriums
 

Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving

Kurzanzeige
dc.contributor.authorMarmsoler, Diego
dc.contributor.editorBecker, Steffen
dc.contributor.editorBogicevic, Ivan
dc.contributor.editorHerzwurm, Georg
dc.contributor.editorWagner, Stefan
dc.date.accessioned2019-03-14T11:49:22Z
dc.date.available2019-03-14T11:49:22Z
dc.date.issued2019
dc.identifier.doi10.18420/se2019-52
dc.identifier.isbn978-3-88579-686-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/20914
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering and Software Management 2019
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-292
dc.titleVerifying Dynamic Architectures using Model Checking and Interactive Theorem Provingen
dc.typeText/Conference Poster
gi.citation.endPage169
gi.citation.publisherPlaceBonn
gi.citation.startPage167
gi.conference.date18.-22. Februar 2019
gi.conference.locationStuttgart, Germany
gi.conference.sessiontitlePoster

Dateien

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

Sammlungen

P292 - Software Engineering and Software Management 2019