Peter Herrmann
Research Area:
Networked Systems
Research Interests:
Formal Methods, Trust Management, Security
(
cTLA specifications
)
Research Projects:
SIMS
,
iTrust
Publications
Courses:
TTM4160 (Software Design for Distributed Real-Time Systems)
in Autumn 2006
Since this web page is still under construction, please have also a look on my old
homepage at the University of Dortmund
.
