Welkom...

dr. A. Fehnker (Ansgar)

Universitair hoofddocent

Expertises

Model Checking
Programmable Logic Controllers
Semantics
Topology
Controllers
Electronic Money
Hybrid Systems
Process Control
Chemical Plants
Costs
Scheduling

Publicaties

Recente Artikelen
Chaudhary, K., Fehnker, A., Fehnker, A., van de Pol, J. C., & Stoelinga, M. I. A. (2015). Modeling and Verification of the Bitcoin Protocol. In R. J. van Glabbeek, J. F. Groote, & P. Höfner (Eds.), Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015) (pp. 46-60). (Electronic Proceedings in Theoretical Computer Science; Vol. 196). Australia: Open Publishing Association. DOI: 10.4204/EPTCS.196.5

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3120
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3120
Postbus 217
7500 AE Enschede