Searching for "Verification of Distributed Hierarchical Components." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Model-Checking Distributed Components: The Vercors Platform
by Tomás Barros, Antonio Cansado, Eric Madelaine — 2006 — In Proceedings of the 3rd International Workshop on Formal Aspects of Component Software FACS’2006
… verification of distributed hierarchical components, integrating our model generation algorithms…
Cited by 3 (0 self) – Add To MetaCart

Specification and verification of reconfiguration protocols in grid component systems
by Ro Basso, Ro Basso, Er Bolotov, Er Bolotov, Artie Basukoski, Artie Basukoski, Vladimir Getov, Vladimir Getov, Ludovic Henrio, Ludovic Henrio, Mariusz Urbanski, Mariusz Urbanski — 2006 — In Proceedings of the 3rd IEEE Conference On Intelligent Systems IS-2006
… in the verification of distributed hierarchical components is model checking. We started from the point of view…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

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