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

Institute for Software Systems (E-16)

Am Schwarzenberg-Campus 3 (E)

21073 Hamburg

E-mail : sts-office@tuhh.de

Phone : 040-42878-3460