Untergeordnete Navigation

Best Paper Award für Prof. Dr. Ir. Joost-Pieter Katoen und apl. Prof. Dr. Thomas Noll

Joost Pieter Katoen         Thomas Noll

Joost-Pieter Katoen und Thomas Noll vom Lehrstuhl für Softwaremodellierung und Verifikation wurden zusammen mit Viet Yen Nguyen (Fraunhofer IESE) und Benjamin Bittner (Fondazione Bruno Kessler) beim 11th International Symposium on Formal Aspects of Component Software (FACS 2014) für ihre Veröffentlichung "Compositional Analysis Using Component-Oriented Interpolation" mit dem Best Paper Award ausgezeichnet.

mehr


18.09.2014, tn