Cyber-Physical Systems

Page 13 of 13.

1. OPENMATH - OPENMATH

2. SPP RoboCup - Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments

   Employing the RoboCup scenario, this project develops methods which allow to classify primitive actions as well as complex behaviour patterns of other …

3. 

   MMISS - Multimedia - Instruktion in Sicheren Systemen

   The aim of the MMiSS project, which is supported by bmbf (German Ministry for Education and Research) in its programme "New Media in Education", is to …

4. Hets - Heterogeneous Tool Set

   Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for …

• previous
• 1
• …
• 11
• 12
• 13