Project Details
Professor Dr. Dieter Hutter
Address
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robert-Hooke-Straße 1
28359 Bremen
-
As Applicant
-
Completed projects
-
Beweisplanen mit Hilfe von Differenz-Reduktionstechniken (Research Grants)
-
Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung (Priority Programmes)
-
Ontology-Driven Management of Change (Research Grants)
-
-
Completed projects