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

Mauthe, Andreas; Steinmetz, Ralf; Klöckner, Konrad

Message from Track Chairs: Multimedia and Telecommunications Track

Gerhard Chroust; Christian Hofer; Ivica Crnkovic; Ralf Steinmetz; Andreas Mauthe; Paul Gruenbacher; Stefan Biffl (Hrsg). Proceedings of the 29th EUROMICRO Conference 2003 - New Waves in System Architecture: 3-5 September 2003, Belek-Antalya, Turkey. Los Alamitos, CA: IEEE Computer Society 2003 S. 5 - 6


Jürjens, Jan

Methoden der Entwicklung sicherer Systeme - Half-day tutorial

GI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003


Fislake, Martin

Mobile Roboter

Unterricht Arbeit + Technik. Bd. 4. H. 20. Seelze: Friedrich 2003



Kuhn, Thomas A.; Jürjens, Jan

Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorial

International Conference WWW/Internet 2003. 2003


Zobel, Matthias; Denzler, Joachim; Heigl, Benno et al.

MOBSY: Integration of Vision and Dialogue in Service Robots

Machine Vision and Applications. Bd. 14. H. 1. Berlin: Springer 2003 S. 26 - 34


Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd

Model Based Deduction for Knowledge Representation

Bertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166


Jürjens, Jan

Model-based Security with UMLsec - Invited talk

UML Forum Tokyo. 2003


Jürjens, Jan

Model-based Testing of Embedded Systems with UML: A Half-day tutorial

Conference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003


Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.

Modelling and Verification of Layered Security Protocols: A Bank Application

Stuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129