Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)

Anton Sodja, Borut Zupancic. Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper). In Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman, editors, Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010. Volume 47 of Linköping Electronic Conference Proceedings, pages 117-120, Linköping University Electronic Press, 2010. [doi]

Authors

Anton Sodja

This author has not been identified. Look up 'Anton Sodja' in Google

Borut Zupancic

This author has not been identified. Look up 'Borut Zupancic' in Google