Protocol Verification Using Database Technology

IEEE Journal on Selected Areas in Communications - United States
doi 10.1109/49.16865
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

Event Processing Using Database Technology

2007English

Verification of Protocol Conformance Test Cases Using Reachability Analysis

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1992English

Using Verification Technology to Specify and Detect Malware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Protocol Verification in Nuprl

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Formal Verification of a Group Membership Protocol Using Model Checking

English

Cloud Database Security in E-Voting System Using Blockchain Technology

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2020English

Design and Verification of AMBA APB Protocol

International Journal of Computer Applications
2014English

J-Store, JST Science and Technology Research Result Database for Enterprise Development. Service of Technology Seed Database and Technology Transfer Database.

Journal of Information Processing and Management
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy