Searching for "An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications." – 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.

An action/statebased model-checking approach for the analysis of an asynchronous protocol
by Maurice H. Ter Beek, A. Fantechi, S. Gnesi, F. Mazzanti — 2007 — In Proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS ´07
…An action/state-based model-checking approach for the analysis of communication protocols…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 1.

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