HYBRIS: Efficient Analysis of Hybrid Systems (1999 - 2005)

Author: ¨ Jan Peleska, Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Elena Svetogorova.

Abstract:
This project is a sub-project in the DFG-funded priority programme Integration of Software Specification Techniques for Scientific Engineering Applications SPP 1064 . The project has been completed in 2005, and the results are available under http://www.informatik.uni-bremen.de/agbs/projects/hybris/