Searching for "Control software model checking using bisimulation functions for nonlinear systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Control Software Model Checking Using Bisimulation Functions for Nonlinear Systems
by James Kapinski, Re Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
…Control Software Model Checking Using Bisimulation Functions for Nonlinear Systems James Kapinski…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB