Project leader

• Nima Taherinejad (E384-02)

Project personnel

• Reza Rashidi (E384-02)

Contract/collaboration

• Austria Wirtschaftsservice Gesellschaft mit beschränkter Haftu

Research focus

• Logic and Computation: 50%
• Computer Engineering and Software-Intensive Systems: 50%

Publications

• Publications