Verification of Protocol Conformance Test Cases Using Reachability Analysis

Journal of Systems and Software - Netherlands
doi 10.1016/0164-1212(92)90018-f
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Verification of Protocol Conformance and Agent Interoperability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Conformance Test for IEDs Based on IEC 61850 Communication Protocol

Journal of Power and Energy Engineering
2015English

Protocol Verification Using Database Technology

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
1989English

Believable Specifications: Organizing and Describing Object Interfaces Using Protocol Conformance.

English

Data for Reachability of Inter-/Intra-NetworK SIP (DRINKS) Use Cases and Protocol Requirements

2012English

A Draft Abstract Test Suite for Determining Conformance to the BACnet Protocol

1991English

TDDViz: Using Software Changes to Understand Conformance to Test Driven Development

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2016English

Standard Conformance Test Specification Language TTCN

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy