STS: External projects

External projects

Keywords	Topic and main paper	Prerequisites	Particular interests	Status
Formal modeling, network protocols, peer-to-peer computing	Orchestrating tool chains for model-based system engineering with RCE	Software verification	Modeling languages, TLA+, process mining, distributed computing

Institut für Softwaresysteme (E-16)

Am Schwarzenberg-Campus 3 (E)

21073 Hamburg

E-Mail : sts-office@tuhh.de

Tel : 040-42878-3460