MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Islands." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Modular Formal Islands: Embed theory in your practice  
  • by Émilie Ball, Claude Kirchner, Pierre-etienne Moreau, Anderson Santana De, Université Henri Poincaré — in "Third Taiwanese-French Conference on Information Technology - TFIT 2006, 28/03/2006, Nancy/France", INRIA/LORIA
  • …Modular Formal Islands: Embed theory in your practice Émilie Balland 1 , Claude Kirchner 2…
  • Cited by 1 (0 self) – Add To MetaCart
  • The Organ Allocation Process: A Natural  
  • by Extension Of The, Javier Vázquez-salceda, Ulises Cortés, Julian Padget, Antonio López-navidad, Francisco Caballero, Pau St, Antoni M. Claret, E Barcelona
  • … allocation process to show how it can be formalized with the ISLANDER specification language and we also…
  • Add To MetaCart
  • Observations from dnssec deployment  
  • by Eric Osterweil — 2007 — In The 3rd Workshop on Secure Network Protocols (NPSec
  • …, resulting in an “island of security”. More formally, an island of security is a subtree where every zone…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB