Starten Sie Ihre Suche...


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

Suche


38183 Treffer


× Publikationen
× Universität Koblenz
× Universität Trier
× Hochschule Kaiserslautern
× Technische Hochschule Bingen
× Hochschule Koblenz









  • Ochoa, Martín; Jürjens, Jan; Cuéllar, Jorge
  • Non-interference on UML State-Charts
  • Carlo A. Furia;Sebastian Nanz (Hrsg). Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin: Springer 2012 S. 219 - 235 (Lecture Notes in Computer Science)