1
0
0
(1 - 18 von 20
)
Prof. Dr. rer. nat. Andreas Pfitzmann — Professur für Datenschutz und...
tu-dresden.de
Prof. Dr. Andreas Pfitzmann war der Leiter der Datenschutz- und Sicherheitsgruppe an der Technischen Universtät Dresden. Mehr als 25 Jahre lang umfaßten seine...
Search results for "Thomas Santen" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Thomas Santen" ( http://dblp.L3S.de/Authors/Thomas_Santen ) Author page on DBLP Author page in RDF Community of Thomas Santen in ASPL-2.
Programmkomitee SEUH - www.se2013.rwth-aachen.de/pc/
www.se2013.rwth-aachen.de
... Gunter Saake (Universität Magdeburg); Thomas Santen (European Microsoft Innovation Center); Ina Schäfer (TU Braunschweig); Wilhelm Schäfer (Universität ...
Unbenanntes Dokument
www.inf.tu-dresden.de
Auflage, Verlag Dr. Otto Schmidt KG, Köln 2005, 1-17, Thomas Santen, Andreas Pfitzmann, Maritta Heisel: Specification and Refinement of Secure IT-Systems (Extended Abstract); International Workshop on Refinement of Critical Systems: Methods, Tools and Experience (RCS'2002), M. Butler and T. Muntean ...
dblp: VCC: Contract-based modular verification of concurrent C.
dblp.uni-trier.de
Bibliographic details on VCC: Contract-based modular verification of concurrent C.
Moses - Applied Verification of C-Programs
moseskonto.tu-berlin.de
Thomas Santen () veranstaltet. Im Modul wird vermittelt, wie mit Hilfe von Werkzeugen aus dem industriellen Umfeld eine automatische Analyse für Teile einer realen Software durchgeführt werden kann. Die Veranstaltung führt in die formale, werkzeuggestützte Verifikation von C Programmen ein.
Isabelle@AG BKB
www.informatik.uni-bremen.de
... -preserving embedding of the specification language Z into Isabelle/HOL, originally developed by Kolyang, Thomas Santen and Burkhart Wolff, ...
Invariants, Modularity, and Rights
www-wjp.cs.uni-saarland.de
... Moskal and Steven Obua and Wolfgang Paul and Hristo Pentchev and Elena Petrova and Thomas Santen and Norbert Schirmer and Sabine Schmaltz and Wolfram …
Fachgruppe FoMSESS der Gesellschaft für Informatik e.V.
rgse.uni-koblenz.de
Die Fachgruppe FoMSESS -
Team | ABZ 2020
abz2020.uni-ulm.de
Information about program committee, conference chairs, case study chairs, and organization team.
Publikationen — Wirtschaftswissenschaftliche Fakultät
www.wiwi.hu-berlin.de
— Fabian, Benjamin, Seda F. Gürses, Maritta Heisel, Thomas Santen, and Holger Schmidt "A comparison of security requirements ... › forschung › ecodoc
[clean-list] FMICS 2010: Call for Papers (deadline extended)
mailman.science.ru.nl
· ... France) Thomas Kropf (Bosch, Germany) Thomas Santen (Microsoft European Innovation Center) Wan Fokkink (Vrije Universiteit Amsterdam, ...
Publications — School of Business and Economics
www.wiwi.hu-berlin.de
Lessmann, Stefan, Bart Baesens, Hsin-Vonn Seow, and Lyn C Thomas "Benchmarking state-of-the-art Fabian, Benjamin, Seda F. Gürses, Maritta Heisel, Thomas Santen, and Holger Schmidt "A comparison of security ... Köln: Josef EUL Verlag. Matthias Bauer, Benjamin Fabian, Matthias ...
sortiert nach Relevanz / Datum