Suche
Kategorie
120698 Treffer
×
Johannes Gutenberg-Universität Mainz
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Hochschule Kaiserslautern
×
Hochschule Worms
×
Theologische Fakultät Trier
- Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge
- Towards a Comprehensive Framework for Secure Systems Development
- Eric Dubois;Klaus Pohl (Hrsg). Advanced Information Systems Engineering: 18th International Conference, CAiSE 2006: Luxembourg, Luxembourg, June 5-9, 2006; Proceedings. Berlin: Springer 2006 S. 48 - 62 (Lecture Notes in Computer Science)
- Tanatmis, Akin; Ruzika, Stefan; Hamacher, Horst W. et al.
- Valid Inequalities for Binary Linear Codes
- 2009 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, VOLS 1- 4. 2009 S. 2216 - 2220
- Hinze, Michael; Yan, Ningning; Zhou, Zhaojie
- Variational Discretization for Optimal Control Governed by Convection Dominated Diffusion Equations
- Journal of Computational Mathematics. Bd. 27. H. 2-3. Hong Kong: Global Science Press 2009 S. 237 - 253
- Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge
- Towards a Comprehensive Framework for Secure Systems Development.
- CAiSE. 2006 S. 48 - 62
- Wimmer, Maria A.; Liehmann, Michael; Martin, Bernd
- Offene Standards und abgestimmte Spezifikationen - das österreichische Interoperabilitätskonzept
- 2006 S. 1 - 11
- Schubert, Petra
- MRO Procurement for Business Customers: A Longitudinal Case Study Analysis
- Rodríguez-Abitia Guillermo;Ania B. Ignacio (Hrsg). Proceedings of the 12th Americas Conference on Information Systems AMCIS 2006: August 4-6, 2006; Acapulco, Mexico. Atlanta, GA: Association for Information Systems/AIS eLibrary 2006 S. 1877 - 1886
- Frey, Hannes; Stojmenovic, Ivan
- On Delivery Guarantees of Face and Combined Greedy Face routing in Ad Hoc and Sensor Networks
- Mario Gerla;Chiara Petrioli;Ram Ramjee (Hrsg). MobiCom'06: Proceedings of the 12th Annual International Conference on Mobile Computing and Networking; September 24–29, 2006; Los Angeles, California, USA. New York, NY: ACM Association for Computing Machinery 2006 S. 390 - 401
- Jürjens, Jan
- Model-Based Security Engineering with UML: Introducing Security Aspects
- Frank S. de Boer;Marcello M. Bonsangue;Susanne Graf;Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87 (Lecture Notes in Computer Science)
- Jürjens, Jan
- Model-Based Security Engineering for Real
- Jayadev Misra;Tobias Nipkow;Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606
- Jürjens, Jan
- Model-Based Security Engineering for Real.
- FM. 2006 S. 600 - 606