Starten Sie Ihre Suche...


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

Suche


28687 Treffer


× Universität Koblenz
× Hochschule Kaiserslautern
× Hochschule Trier
× Technische Hochschule Bingen
× Theologische Fakultät Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen






  • 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