Reihe Berichte aus der Informatik

Situationsanalyse und Manöverentscheidung für Fußgängerschutzsysteme mit Längs- und Querführung

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

A Cloud Storage Overlay to Aggregate Heterogeneous Cloud Services

Trade-off-based Decision Methodology for Adopting Cloud-based Services in an Organization

InstRO: A Component-Based Toolbox For Performance Instrumentation

Virtuelle und Erweiterte Realität

Methods to Create, Retrieve and Apply Cross-Domain Problem Solutions

European Conference on Software Engineering Education

Runtime Verification of Railway Applications with Extended Live Sequence Charts

Feature Localization and Design Understanding for Hardware Designs