Gegenwart. Stefan Leue betonte, dass die Technik schon sehr weit fortgeschritten ist. Doch wie weit kann man ihr trauen? Autonom fahrende Autos seien heute kein Problem mehr, so Leue. Aber auch mit...
Informatiker Stefan Leue entwickelt er nun das Modell „ContractCheck“, das in der Lage ist, Unternehmenskaufverträge vollautomatisch auf Nicht-Eindeutigkeiten hin zu analysieren. Stefan Leue,...
Informatiker Stefan Leue entwickelt er nun das Modell „ContractCheck“, das in der Lage ist, Unternehmenskaufverträge vollautomatisch auf Nicht-Eindeutigkeiten hin zu analysieren. Stefan Leue,...
Vorlesung/Praktikum SS 2022 Software Engineering Verantwortlich: Prof. Dr. Stefan Leue Durchführung: Prof. Dr. Stefan Leue Vorlesung SS 2022 Database System Architecture and Implementation...
kann sich ihr in der global vernetzten Welt auch nicht entziehen. Darüber waren sich Prof. Dr. Stefan Leue (UKN), der zur Sicherheit von softwaregetriebenen Automobil- und Flugzeugsystemen forscht,...
Eine neue Studie des Politikwissenschaftlers Prof. Dr. Gerald Schneider und der Studentinnen Miriam Leue und Nadine Segadlo zeigt, dass die Ungleichbehandlung von Asylanträgen auf den beiden...
Details zur Episode Fairness Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/06/01 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Introduction Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/13 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Transition Systems Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/04 Formate Stream (700 kbps) Stream (250 kbps)