Ads
    Related paper
  1. AMS SoC Formal Verification based on Hybrid Scheme
  2. Formal Bug Hunting: An Immensely Powerful Merger of Simulation and Formal Verification Methodologies
  3. Assertion-Based Formal Verification of CPU-Cache Crossbar of OpenSPARC T1 Processor
  4. Formal specification, verification and correction of security policies based on the decision tree approach
  5. AUTOMATIC TOLL VERIFICATION USING RFID AND SECURE AUTHENTICATION BASED ON NOVEL HYBRID SAFERPLUS ALGORITHM
  6. Modeling and Formal Verification of Web Services Composition Using CADP
  7. A Hybrid DWT, SVD and PCA based Digital Video Watermarking Scheme
  8. A Hybrid Non Blind Video Watermarking Scheme Based on DWPT and PCA
  9. Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems
  10. A security scheme based on blockchain and a hybrid cryptosystem to reduce packet loss in IoV