Searching for "Behavioral Compatibility Without State Explosion Design and Verification of a Component-Based Elevator Control System." – 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.

Behaviour Compatibility without State Explosion: Design and Verification of a Component-Based
by Paul C. Attie, David H. Lorenz, Ra Portnova, Hana Chockler — 2006 — Control System”, in Gorton et al. (Eds): CBSE 2006, LNCS 4063
…Behavioral Compatibility without State Explosion: Design and Verification of a Component-based…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

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