Searching for "MECA an extensible" – 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.

MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
by Junfeng Yang Ted Kremenek — 2003 — In Proceedings of the 10th ACM conference on Computer and communication security
… MECA: an Extensible, Expressive System and Languagefor Statically Checking Security Properties…
Cited by 22 (3 self) – Add To MetaCart

1. Introduction The new release of the database of Earthquake Mechanisms of the Mediterranean Area (EMMA Version 2)
by Gianfranco Vannucci, Paolo Gasperini
…” window also requires the installation of the Generic Mapping Tool (GMT) with meca extensions (Wessel…
Add To MetaCart

Showing 1 through 2.

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