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; Lehrhuber, Markus; Wimmel, Guido

Model-Based Design and Analysis of Permission-Based Security

Carlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 224 - 233


Wagner, Stefan; Jürjens, Jan

Model-Based Identification of Fault-Prone Components

Mario Dal Cin; Mohamed Kaâniche; András Pataricza (Hrsg). Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings. Berlin: Springer 2005 S. 435 - 452


Jürjens, Jan

Model-based Security Engineering with UML

Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures. Berlin: Springer 2005 S. 42 - 77


Jürjens, Jan

Model-based Security Engineering with UML

Aldini, A.; , ; Martinelli, F. (Hrsg). Foundations of Security Analysis and Desing III: FOSAD 2004/2005 Tutorial Lectures. 2005 S. 42 - 77 (Lecture Notes in Computer Science)


Botaschanjan, Jewgenij; Jürjens, Jan

MoDll: Modeling and Analyzing Time-Constraints

Jerzy Rozenblit; Tim O’Neill; Jianfeng Peng (Hrsg). Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems ECBS 2005: 4-7 April 2005; Greenbelt, Maryland. Los Alamitos, CA: IEEE Computer Society 2005 S. 299 - 306


Chmura, Thorsten; Pitz, Thomas; Möhring, Michael et al.

NETSIM - A software environment to study route choice behavior in laboratory experiments

Troitzsch, Klaus G. (Hrsg). Representing social reality : held in Koblenz, September 5 - 9, 2005. Koblenz: Fölbach 2005 S. 339 - 344


Fislake, Martin

Online experimentieren

Unterricht Arbeit + Technik. Bd. 6. H. 26. Seelze: Friedrich 2005 S. 61


Traunmüller, Roland; Wimmer, Maria A.

Online one-stop Government

Wirtschaftsinformatik. Bd. 47. H. 5. Berlin: Springer 2005 S. 383 - 386


Tambouris, Efthimios; Wimmer, Maria A.

Online One-Stop Government: A Single Point of Access to Public Services

Wayne Huang;Keng Siau;Kwok Kee Wei (Hrsg). Electronic Government Strategies and Implementation. Hershey, PA: IGI Global 2005 S. 115 - 144


Becker, Jörg; Niehaves, Björn; Falk, Thorsten et al.

Open Source Software for Virtual Town-Halls

Maria A. Wimmer (Hrsg). E-Government 2005 -Knowledge Transfer und Status: Tagungsband zu den e-Gov Days und Eastern European e-Gov Days 2005 des Forums e-Government in Wien und Budapest; März 14. - 18., 2005. Wien: Österrreichische Computer Gesellschaft 2005 S. 349 - 399