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

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


Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido

Modelling Secure IT Systems - A Survey

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


Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido

Modelling Secure IT-Systems â A Survey

Modellierung 2004. Marburg. 2004


Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe

Modular Proof Systems for Partial Functions with Weak Equality

David Basin; Michaël Rusinowitch (Hrsg). Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Berlin: Springer 2004 S. 168 - 182


Hasan, Sasa; Harbusch, Karin

N-Best Hidden Markov Model Supertagging to Improve Typing on an Ambiguous Keyboard

Owen Rambow;Matthew Stone (Hrsg). Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms TAG+ 2004: Simon Fraser University, Vancouver, Canada; May 20-22, 2004. Vancouver, Canada: Simon Fraser University 2004 S. 24 - 31


Fislake, Martin; Meschenmoser, Helmut

Ohne Digitaltechnik geht es nicht mehr. Zum Verständnis der Mikroelektronik durch Unterricht.

Unterricht Arbeit + Technik. Bd. 5. H. 21. Seelze: Friedrich 2004 S. 4