Universität Münster
Embedded Systems
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • Home
  • Team
  • Research
  • Teaching
  • Theses
  • Studienberatung
  • Home
    • Team
      • Philip Ben Heinrich Tasche, M.Sc.
  • Prof. Dr. Paula Herber
  • Julia Kaiser-Mariani
  • Julius Adelt, M.Sc.
  • Jonas Becker-Kupczok, M.Sc.
  • Pauline Blohm, M.Sc.
  • Philip Ben Heinrich Tasche, M.Sc.
  • Ulrike Witteck, M.Sc.
  • Alumni
  • Timm Liebrenz, Dr.-Ing. (ehemalig)
  • Dr. Raúl E. Monti
Philip Tasche
© privat

 

PHILIP BEN HEINRICH TASCHE, M.SC.

p.b.h.tasche@utwente.nl

Formal Methods and Tools Group, University of Twente
PhD student in the SAVES project, a WWU-UT collaboration

Research Interests:

  • Embedded Software Verification
  • Formal Verification of integrated Hardware/Software Systems
Top of page

Contact

University of Münster
AG Herber

Einsteinstraße 62
48149 Münster

Tel: +49 251 8332740
Fax: +49 251 8332742
paula.herber@uni-muenster.de
 
living.knowledge
  • Index
  • Site Map
  • Legal Disclosure
  • Privacy Statement
  • Accessibility

© 2025 AG Herber: Embedded Systems