Font Size: a A A
Keyword [Formal Approaches]
Result: 1 - 4 | Page: 1 of 1
1. Formal Description And Verification Of Mobility Management In Mobile Communication
2. Strategies for SAT-based formal verification
3. A framework for merging Object-Oriented formal specifications
4. Formal approaches for specifying, enforcing, and verifying security policies
  <<First  <Prev  Next>  Last>>  Jump to