Starten Sie Ihre Suche...


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

Institut für Informatik

FB 4: Informatik / Universität Koblenz

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

Frey, Hannes; Görgen, Daniel

Planar graph routing on geographical clusters

Ad Hoc Networks. Bd. 3. H. 5. Amsterdam: Elsevier 2005 S. 560 - 574


Zöbel, Dieter; Polock, David

Priority Inheritance Revisited. Towards the conformance of real-time protocols

Technique et Science Informatiques. Bd. 24. H. 8. Paris: Edition Hermès 2005 S. 939 - 961


Jürjens, Jan

Return on Security Investment - Tutorial

Infotage. Starnberger See. 2005


Jürjens, Jan; Golesteanu, Catinca

Reverse Engineering

München: Technische Universität München, Institut für Informatik 2005 S. 1 - 49


Jürjens, Jan

Secure Systems Development with UML

Berlin: Springer 2005



Jürjens, Jan

Sound Methods and Effective Tools for Model-based Security Engineering with UML

Gruia-Catalin Roman; William Griswold; Bashar Nuseibeh (Hrsg). Proceedings of the 27th International Conference on Software Engineering ICSE 2005: May 15. - 21., 2005; St. Louis; MO, USA. New York, NY: ACM Association for Computing Machinery 2005 S. 322 - 331


Jürjens, Jan

Testing Critical and Embedded Systems: Tutorial

6th International Conference on Software Testing (ICSTEST 2005), April 6--8, 2005, Düsseldorf, German, Tutorial. 2005


Zöbel, Dieter; Polock, David; van Arkel, Andreas

Testing for the Conformance of Real-time Protocols Implemented by Operating Systems

Electronic Notes in Theoretical Computer Science. Bd. 133. Amsterdam: Elsevier 2005 S. 315 - 332


Jürjens, Jan

Tool-support for Model-Driven Development of Security- Critical Systems with UML

Sami Beydeda;Matthias Book;Volker Gruhn (Hrsg). Model-Driven Software Development. Berlin: Springer 2005 S. 35 - 55