Searching for "Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space." – 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.

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete
by Werner Damm, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl
…Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB