Technische Universität Berlin
Department of Computer Science
Real-Time Systems and Robotics


Research Group

Model-Based Evaluation of Discrete Real-Time Systems


Research Activities


Group Members (Staff)


Projects


Recent Publications

(see also personal home pages of group members)