Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Germany

Phone. +49(89) 289-17384
Fax.      +49(89)289-17307
spanfeln -at- in.tum.de

Room: MI 00.11.057


Bernd Spanfelner is member of the competence center
"Contextaware Architectures"

Bernd Spanfelner
Dipl. Inf. Univ.

 

Interests

Model based development, Services and Functions
Formal methods
Semantics
Verification techniques/Model checking
Logics

Computer Science is no more about computers than astronomy is about telescopes

(Edsger W. Dijkstra)