{
  "draft": "draft-ietf-rohc-formal-notation-13",
  "doc_id": "RFC4997",
  "title": "Formal Notation for RObust Header Compression (ROHC-FN)",
  "authors": [
    "R. Finking",
    "G. Pelletier"
  ],
  "format": [
    "TEXT",
    "HTML"
  ],
  "page_count": "62",
  "pub_status": "PROPOSED STANDARD",
  "status": "PROPOSED STANDARD",
  "source": "Robust Header Compression",
  "abstract": "This document defines Robust Header Compression - Formal Notation (ROHC-FN), a formal notation to specify field encodings for compressed formats when defining new profiles within the ROHC framework.  ROHC-FN offers a library of encoding methods that are often used in ROHC profiles and can thereby help to simplify future profile development work. [STANDARDS-TRACK]",
  "pub_date": "July 2007",
  "keywords": [
    "Robust Header Compression - Formal Notation"
  ],
  "obsoletes": [],
  "obsoleted_by": [],
  "updates": [],
  "updated_by": [],
  "see_also": [],
  "doi": "10.17487/RFC4997",
  "errata_url": null
}