Searching for "Specifying distributed computer architectures in AADL." – 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.

vid L. Dill. Sequential Cirsuit Veri�cation Using Symbolic Model
by Ahp R. Alur, G. Holzmann, D. Peled, An Analyzer, Message Sequence, Bcl Jerry R. Burch, Edmund M. Clarke, David E. Long Representing, Bcmd Jerry R. Burch, Edmund M. Clarke, Kenneth L. Mcmillan
…, 1989. �DD89b� Werner Damm and Gert D�ohmen. Specifying Distributed Computer Architectures in AADL…
Add To MetaCart

Showing 1 through 1.

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