Searching for "Specification and Verification of Dynamic Communication Systems." – 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.

Specification and verification of dynamic communication systems
by Jörg Bauer, Ina Schaefer, Tobe Toben Bernd Westphal — 2006 — In Proc. ACSD 2006. IEEE
…Specification and Verification of Dynamic Communication Systems ∗ Jörg Bauer (joba…
Cited by 4 (3 self) – Add To MetaCart

Static Analysis of Dynamic Communication Systems by Partner Abstraction
by Jörg Bauer, Reinhard Wilhelm — 2007 — In Proc. SAS 2007
… and specifically tailored to dynamic communication systems. We propose a new verification technique based…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

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