FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit ...
Imagine what kind of applications become possible when our mobile devices do not only present data to the owner but provide valuable information to ...
Im Rahmen des Innovative Retail Laboratory (IRL), einem anwendungsnahen Forschungslabor des DFKI, werden in enger Verbindung mit den Fachexperten von ...