PRESSEMITTEILUNGEN

(pressebox) Darmstadt, 13.05.2009, Die Deutsche Forschungsgemeinschaft (DFG) hat zwei neue Schwerpunktprogramme eingerichtet, die an der TU Darmstadt koordiniert werden. Ziel des neuen Schwerpunktprogramms "Zuverlässig sichere Softwaresysteme" sind qualitative Verbesserungen der Softwaresicherheit sowie zuverlässige Sicherheitsüberprüfungen und semantisch fundierte Zertifizierungen von Software. Koordinator ist Prof. Dr. Heiko Mantel, Leiter des Fachgebiets Modellierung und Analyse von Informationssystemen im [...]

Continue reading

Arnold, Bothe, Bremen, Dieter, Forschungszentrum, Heiko Mantel, Impulse, KüNstliche Intelligenz, Mathematik Und Informatik, Prof Dr, Rwth Aachen, Schwerpunkt, Tu Darmstadt, Verbesserungen