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]
Abstract is missing.