Searching for "Feature interaction detection by pairwise analysis of LTL properties - A case study." – 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.

Feature interaction detection by pairwise analysis of LTL properties. Submitted to FMSD - Formal
by Muffy Calder, Alice Miller — 2005 — Formal Methods in System Design
…Calder, M. and Miller, A. (2006) Feature interaction detection by pairwise analysis of LTL…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 1.

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