Path-oriented bounded reachability analysis of composed linear hybrid systems
収録刊行物
-
- Journal on Software Tools for Technology Transfer
-
Journal on Software Tools for Technology Transfer 13 307-317, 2011