UPB Bildmarke
Technische Informatik
Kontakt
  • Deutsch
  • English
  • 6th Workshop on Self-Awareness in Cyber-Physical Systems (WORKSHOP WAS CANCELLED!)
    • Seite "Lehre" öffnen
      • Seite "Kurse" öffnen
        • Seite "SS 2025" öffnen
        • Eingebettete Systeme
        • Seite "WS 2024/25" öffnen
        • Projektmanagement
        • Reconfigurable Computing
        • Systementwurf-Teamprojekt
        • Seite "SS 2024" öffnen
        • Digitaltechnik
        • Eingebettete Systeme
    • Abschlussarbeiten
      • Seite "Projektgruppen" öffnen
      • WiFiSense
      • AutonomROS: Autonomous Car Swarm with Hardware-accelerated ROS Programming
      • CIRCA: An Approximate Computing Tool Flow
      • PG EML2
      • PG EML
      • High Performance Embedded Prosthetics Controller
      • PG ReCoTroy
      • Soundgates – Interactive Music Synthesis on FPGAs
      • Seite "Sys­te­m­ent­wurfs-Team­pro­jekte" öffnen
      • FPGA-basiertes System zur Erkennung von Gebärdensprache
      • Approximate Computing: The design of intentionally incorrect digital hardware
      • Automatisierte Anwendungsanalyse für heterogene Rechnerknoten
    • Prak­ti­kum Mi­kro­con­trol­ler und In­ter­face-Elek­tro­nik
    • Lehrkonzept
    • Seite "Forschung" öffnen
    • Forschungsschwerpunkt
    • Veröffentlichungen
    • Open Source Projekte
  1. Fakultät für Elektrotechnik, Informatik und Mathematik
  2. Institut für Informatik
  3. Technische Informatik
  4. News

News

Zurück zur News-Liste

Pa­per ac­cep­ted for iFM 2014

25.07.2014

Beitrag teilen auf:

  • Teilen auf Instagram
  • Teilen auf Twitter
  • Teilen auf Facebook
  • Teilen auf Xing
  • Teilen auf LinkedIn
  • Teilen über E-Mail
  • Link kopieren

Marie-Christine Jakobs, Marco Platzner, Tobias Wiersema, and Heike Wehrheim got their conference paper "Integrating Software and Hardware Verification“ accepted at the International Conference on Integrated Formal Methods (iFM 2014). Prof. Dr. Wehrheim will present the results in September in Italy.

Technische Informatik

Warburger Str. 100
33098 Paderborn
Deutschland

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Deutschland

Telefon Universität

+49 5251 60-0
Rechtliches
  • Impressum
  • Datenschutz
  • Hinweisgebersystem
Soziale Netzwerke