Employing the RoboCup scenario, this project develops methods which allow to classify primitive actions as well as complex behaviour patterns of other …
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 …
Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for …