Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


27518 Treffer


× Universität Koblenz
× Hochschule Kaiserslautern
× Hochschule Trier
× Theologische Fakultät Trier



  • Jürjens, Jan
  • Towards Development of Secure Systems Using UMLsec
  • Heinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200 (Lecture Notes in Computer Science)

  • Jürjens, Jan
  • Secrecy-preserving Refinement
  • José Nuno Oliveira;Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152 (Lecture Notes in Computer Science)


  • Sofronie-Stokkermans, Viorica
  • Representation Theorems and the Semantics of (Semi)Lattice-Based Logics
  • Beata Konikowska;Bogusław Martyniak;Ewa Gąsiorowska-Wirpszo;Andrzej Szałas (Hrsg). Proceedings of the 31st IEEE International Symposium on Muliple-Valued Logic ISMVL 2001; 22-24 May 2001; Warsaw, Poland. Los Alamitos, CA: IEEE Computer Society 2001 S. 125 - 134




  • Traunmüller, Roland; Wimmer, Maria A.
  • Directions in E-Government: Processes, Portals, Knowledge
  • A. Min Tjoa;Roland R. Wagner (Hrsg). Proceedings of the 12th International Workshop on Database and Expert Systems Applications DEXA 2001: September 3-7 2001 Munich, Germany. Los Alamitos, CA: IEEE Computer Society 2001 S. 313 - 317