Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

Logic for Security

Spring School Logic in Computer Science. Venezia. 2004


Balcerak, Elisabeth; Schikora, Jacek; Wojke, Philipp et al.

Maneuver-based assistance for backing up articulated vehicles

Danwei Wang (Hrsg). Proceedings of the IEEE Conference on Robotics, Automation and Mechatronics RAM 2004: 1 - 3 December, 2004; Singapore; Volume 2. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2004 S. 1066 - 1071


Steinmetz, Ralf; Mauthe, Andreas

Message from the General Programme Chair: 30th EUROMICRO Conference

Ralf Steinmetz; Andreas Mauthe; Ivica Crnkovic; Magnus Larsson; Paul Müller; Jens Schmitt; Stefan Biffl; Paul Grünbacher (Hrsg). Proceedings of the 30th EUROMICRO Conference EUROMICRO 2004: Rennes, France; 31 August - 3 September 2004. Los Alamitos, CA: IEEE Computer Society 2004 S. xi


Hampe, J. Felix; Schneider, Frank; Schubert, Petra

Mobile Community Support: A Mobile Reservation System for the Leisure Industry

Yao-Hua Tan (Hrsg). Proceedings of the 17th Bled eCommerce Conference 2004; eGlobal: June 21-23, 2004; Bled, Slovenia. Atlanta, GA: Association for Information Systems/AIS eLibrary 2004 S. 1-16


Jürjens, Jan

Model-based Security Engineering with UML

FOSAD 2004. Bertinoro. 2004


Jürjens, Jan

Model-based Security with UMLsec - Web-cast

UMLchina. 2004


Jürjens, Jan

Model-driven engineering of dependable critical systems with UML: A Tutorial

International Symposium on Software Reliability Engineering (ISSRE 2004). Saint-Malo, Bretagne. 2004


Jürjens, Jan

Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement - Invited talk

Systems 2004 (Software Development & Architecture Forum). München. 2004


Schmidt, Robert; Jürjens, Jan

Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem

Wolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 309 - 310


Jürjens, Jan

Modellierung 2004: Kurzbeiträge

Wolfgang Hesse;Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 279