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

01IW07002

BMBF

Publikationen zum Projekt

Serge Autexier, Dieter Hutter, Christoph Lüth,

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 Seiten 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

Zur Publikation
Vyacheslav Zholudev, Serge Autexier,

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 befindet sich Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Seiten 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

Zur Publikation
Regivan Hugo Nunes Santiago,

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

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence