Zur Kurzanzeige

Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving

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.isbn978-3-88579-686-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://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
dc.pubPlaceBonn
mci.reference.pages167-169
mci.conference.sessiontitlePoster
mci.conference.locationStuttgart, Germany
mci.conference.date18.-22. Februar 2019
dc.identifier.doi10.18420/se2019-52


Dateien zu dieser Ressource

Thumbnail
Name:
52.pdf
Größe:
466.4Kb
Format:
PDF
Öffnen

Zur Kurzanzeige