1
0
0
(1 - 13 von 13
)
WorSE: A Workbench for Model-based Security EngineeringScienceDirect.com
www.sciencedirect.com
von P Amthor · · Zitiert von: 30 — Peter Amthor received his Diploma degree in Computer Science from the Ilmenau University of Technology (Germany). At present he is a Ph.D. student and a ... von P Amthor · · Zitiert von: 30 — Peter Amthor received his Diploma degree in Computer Science from the Ilmenau University of Technology (Germany). At present he is a Ph.D. student and a ...
Peter Amthor 0003DBLP
dblp.org
Jörg Dörr, Susanne Hartkopf, Daniel Kerkow, Dennis Landmann, Peter Amthor: Built-in User Satisfaction - Feature Appraisal and Prioritization with AMUSE. Jörg Dörr, Susanne Hartkopf, Daniel Kerkow, Dennis Landmann, Peter Amthor: Built-in User Satisfaction - Feature Appraisal and Prioritization with AMUSE.
Peter AmthorTechnische Universität Ilmenau
www.tu-ilmenau.de
[1] Peter Amthor, Anja Fischer, and Winfried E. Kühnhauser. Analyse von Zugriffssteuerungssystemen. In. Patrick Horster and Peter Schartner, editors, D·A·CH Seiten
A CSP Model for Hybrid AutomataScienceOpen
www.scienceopen.com
von P Amthor · · Zitiert von: 1 — Copyright © © Peter Amthor. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK. License: This work is ... von P Amthor · · Zitiert von: 1 — Copyright © © Peter Amthor. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK. License: This work is ...
TU Ilmenau: Neue Studierende begrüßtinSüdthüringen
www.insuedthueringen.de
— ... Peter Amthor, Stephan Husung, Christoph Weigel, Christian Dreßler, Daniel Fischer, Magnus Richter (abwesend) Dagmar Schipanski Preis: Sophia — ... Peter Amthor, Stephan Husung, Christoph Weigel, Christian Dreßler, Daniel Fischer, Magnus Richter (abwesend) Dagmar Schipanski Preis: Sophia ...
COSE | Computers & Security | Vol 42, Pages (May 2014) |...
www.sciencedirect.com
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck. Pages : Download PDF. Article preview. select article Smartphone information security awareness: A ...
dblp: error 410
dblp.uni-trier.de
List of computer science publications by Peter Amthor University of Bremen, Germany; Peter Amthor — Siemens AG, CT SE 1, Munich, Germany. [+][–] ...
dblp: Winfried E. Kühnhauser
dblp.uni-trier.de
List of computer science publications by Winfried E. Kühnhauser
Research Group Operating Systems, Distributed Systems - Dissertation...
www.informatik.uni-bremen.de
Peter Amthor: Structural Decomposition of Hybrid Systems Test Automation for Hybrid Reactive Systems : Michael Schrönen: Methodology for the Development of Microprocessor-Based Safety-Critical Systems : Rait Harnett: Logically timed Chu Process Semantics for Statecharts
A CSP Model for Hybrid Automata - ScienceOpenwww.scienceopen.com › hosted-document › NFM1...
www.scienceopen.com
Author(s): Peter Amthor. Publication date (Print): September Conference name: 3rd BCS-FACS Northern Formal Methods Workshop (NFM).
Details der Publikation - Aspect-oriented security engineeringkatalog.ub.tu-braunschweig.de › vufind
katalog.ub.tu-braunschweig.de
Aspect-oriented security engineering : a model-based approach / Peter Amthor. Der Entwurf und die Realisierung sicherheitskritischer IT-Systeme ist ein ...
accepted papersfps2019.sciencesconf.org › resource › page
fps2019.sciencesconf.org
Lempel-Ziv Compression with Randomized Input-Output for Anti-Compression Side-Channel Attacks under HTTPS/TLS; Peter Amthor and Martin Rabe.
Verwandte Suchanfragen zu Peter Amthor
Georg Gottlieb |
Person "Amthor" (2) Vorname "Peter" (123603) Name "Amthor" (393) |
sortiert nach Relevanz / Datum