Formal modeling, network protocols, peer-to-peer computing
Orchestrating tool chains for model-based system engineering with RCE
This project is in cooperation with the Institute for Software Technology at the German Aerospace Center (DLR)