Suchergebnisse | SciPort RLP

× Publikationen

× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

× Universität Koblenz

× Universität Trier

× Hochschule Koblenz

Schmidt, Holger; Jürjens, Jan
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec
Haralambos Mouratidis;Colette Rolland (Hrsg). Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011: London, UK, June 20-24, 2011; Proceedings. Berlin: Springer 2011 S. 367 - 382 (Lecture Notes in Computer Science)

Fourneret, Elizabeta; Ochoa, Martin; Bouquet, Fabrice et al.
Model-Based Security Verification and Testing for Smart- cards
Günther Pernul;Juan-Carlos Trujillo Mondéjar;Edgar Weippl (Hrsg). Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011: 22-26 August 2011; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2011 S. 272 - 279

Kaupp, Angela
Crises et blessures comme lieu de croissance spirituelle
Christine Aulenbacher (Hrsg). Penser la Blessure - Panser les Blessures? - Colloque interdisciplinaire; Strasbourg; 11. - 12. mars, 2010. Paris: Médiaspaul 2011 S. 171 - 184

Herwig, Sebastian; Lis, Lukasz; Steinhorst, Matthias et al.
A Generic Multi-purpose Conceptual Model Analysis Approach - Conceptual Specification and Application
Markus Nüttgens;Oliver Thomas;Barbara Weber (Hrsg). Enterprise Modelling and Information Systems Architectures EMISA 2011: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures; Hamburg, Germany, September 22 - 23, 2011. Bonn: Gesellschaft für Informatik 2011 S. 201 - 206

Shaikh Sadi, Muhammad; Uddin, Md. Nazim; Khan, Md. Mizanur Rahman et al.
Mitigating Soft Error Risks through Protecting Critical Variables and Blocks
Salah S. Al-Majeed;Chih-Lin Hu;Dhinaharan Nagamalai (Hrsg). Advances in Wireless, Mobile Networks and Applications: International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings. Berlin: Springer 2011 S. 137 - 145 (Communications in Computer and Information Science)

Greefrath, Gilbert; Siller, Hans-Stefan; Weitendorf, Jens
Modelling Considering the Influence of Technology
Gabriele Kaiser;Werner Blum;Rita Borromeo Ferri;Stillman Gloria (Hrsg). Trends in Teaching and Learning of Mathematical Modelling: ICTMA 14. Bd. 1. Dordrecht: Springer 2011 S. 315 - 329

Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
Marco Bernardo;Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526