Skip to main content Skip to main navigation

Projekt

FormalSafe

Formale Entwicklung für Sichere Robotik

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit Anwendungen auf dem Gebiet der Sicheren Robotik.

Fördergeber

BMBF - Bundesministerium für Bildung und Forschung

01IW07002

BMBF - Bundesministerium für Bildung und Forschung

Projekt teilen auf:

Kontakt
Prof. Dr. Dieter Hutter

Keyfacts

Publikationen zum Projekt

SmartTies - Management of Safety-Critical Developments

Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder

In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.

Zur Publikation

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev

In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.

Zur Publikation

Linguistic Variables of Type-N - a Mathematical Model

Regivan Hugo Nunes Santiago; Christian Maeder

In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011.

Zur Publikation
Alle Publikationen