⌕ Поиск по атласу

NIST · ИТ · ac41952862e154b9ef7d

ac41952862e154b9ef7d · Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI

Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI

This paper presents an effort to use formal tools to model, validate,and generate test suites for the ATM network routing protocol calledPrivate Network-Network Interface (PNNI). PNNIconsists of three layers of protocols: the Hello protocolfor identifying

Официальный источник · 1998-11-01

Полные импортированные сведения карточки
{
  "title_en": "Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI",
  "designation": "",
  "series": "",
  "status": "",
  "date": "1998-11-01",
  "date_original": "November 1, 1998",
  "url": "https://www.nist.gov/publications/formal-specification-verification-and-automatic-test-generation-atm-routing-protocol",
  "source": "NIST Publications",
  "display_en": "",
  "authors_en": "David E. Cypher , Dongjin Lee , M Martin-Villalba , C A. Prins , David H. Su",
  "abstract_excerpt_en": "This paper presents an effort to use formal tools to model, validate,and generate test suites for the ATM network routing protocol calledPrivate Network-Network Interface (PNNI). PNNIconsists of three layers of protocols: the Hello protocolfor identifying",
  "id": "ac41952862e154b9ef7d",
  "sources": [
    "NIST Publications"
  ],
  "source_records": [
    {
      "title_en": "Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI",
      "designation": "",
      "series": "",
      "status": "",
      "date": "1998-11-01",
      "date_original": "November 1, 1998",
      "url": "https://www.nist.gov/publications/formal-specification-verification-and-automatic-test-generation-atm-routing-protocol",
      "source": "NIST Publications",
      "display_en": "",
      "authors_en": "David E. Cypher , Dongjin Lee , M Martin-Villalba , C A. Prins , David H. Su",
      "abstract_excerpt_en": "This paper presents an effort to use formal tools to model, validate,and generate test suites for the ATM network routing protocol calledPrivate Network-Network Interface (PNNI). PNNIconsists of three layers of protocols: the Hello protocolfor identifying"
    }
  ],
  "translation_state": "none"
}