Research
[Research] [Publications] [Research Talks]
Publications
[sorted by type] [sorted by year] [sorted by topic]
pdfreaders.org

Model-driven Security with Support for Formal Analysis Methods

by Achim D. Brucker

Keywords:
Categories:
Documents:

QR Code for talk:brucker:model-driven:2008.Please cite this article as follows:
Achim D. Brucker. Model-driven Security with Support for Formal Analysis Methods. Karlsruher Fachkreis IT Sicherheit, Karlsruhe, Germany, 29. jan. 2008.
(BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker:model-driven:2008,
address = {Karlsruhe, Germany},
author = {Achim D. Brucker},
day = {29},
event = {Karlsruher Fachkreis IT Sicherheit},
isodate = {2008-01-29},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {jan},
title = {Model-driven Security with Support for Formal Analysis Methods},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-model-driven-2008},
year = {2008},
}