Starten Sie Ihre Suche...


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

Suche


8063 Treffer


× Publikationen
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Hochschule Worms
× Theologische Fakultät Trier
× Hochschule Koblenz








  • Ramadan, Qusai; Salnitriy, Mattia; Strüber, Daniel et al.
  • From Secure Business Process Modeling to Design-Level Security Verification
  • Lisa O’Conner;Don Batory;Jeff Gray;Vinay Kulkarni;Taylor Riché (Hrsg). Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems MODELS 2017: 17-22 September 2017; Austin. Texas. Los Alamitos, CA: IEEE Computer Society 2017 S. 123 - 133