Direkt zum Inhalt Direkt zur Navigation
Kompetenzzentrum e-Learning
Navigation
 
Deutsch English

Artikel

Preface. Special Issue on Formal Modeling and Verification of Critical Systems

Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.

Weitere Links

BibTeX

http://www.springerlink.com/content/p5581q836x808g54/

Fünf Roboter müsst ihr sein: B-Human holen sich fünften Europameistertitel im Roboterfußball in Folge
„Lang leve de Koning“ – Smartphone-App aus dem DFKI unterstützt die Sicherheitskräfte während der Krönung des niederländischen Königs
Pressemitteilung
Standardisierung zur Optimierung von Ãœbersetzungsprozessen zeigt erste Erfolge
Pressemitteilung
iGreen bringt Dienste und Wissen auf den Punkt - Finale Präsentation der Entwicklungen des Forschungsprojekts
Presseeinladung
Prof. Wahlster überreicht Hermes Award 2013 bei der HANNOVER MESSE
Pressemitteilung
Zeigen wie’s geht – Augmented Reality Handbücher für die Praxis auf der Hannover Messe 2013
Pressemitteilung
Fabriken werden intelligent - die DFKI-SmartFactoryKL revolutioniert die Industrie
Pressemitteilung
SUDPLAN - DFKI-Software visualisiert Auswirkungen des Klimawandels bis ins Jahr 2100
Pressemitteilung