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

NIST · ИТ · 67bcf24259e02485c731

67bcf24259e02485c731 · Journal Article

A Technique for Analyzing the Effects of Changes in Formal Specifications

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

Полные импортированные сведения карточки
{
  "title_en": "A Technique for Analyzing the Effects of Changes in Formal Specifications",
  "designation": "Journal Article",
  "series": "Journal Article",
  "status": "Final",
  "date": "1992-12-01",
  "date_original": "12/01/1992",
  "url": "https://csrc.nist.gov/pubs/journal/1992/12/a-technique-for-analyzing-the-effects-of-changes-i/final",
  "source": "CSRC",
  "display_en": "Journal Article (Final)",
  "authors_en": "",
  "abstract_excerpt_en": "",
  "id": "67bcf24259e02485c731",
  "sources": [
    "CSRC"
  ],
  "source_records": [
    {
      "title_en": "A Technique for Analyzing the Effects of Changes in Formal Specifications",
      "designation": "Journal Article",
      "series": "Journal Article",
      "status": "Final",
      "date": "1992-12-01",
      "date_original": "12/01/1992",
      "url": "https://csrc.nist.gov/pubs/journal/1992/12/a-technique-for-analyzing-the-effects-of-changes-i/final",
      "source": "CSRC",
      "display_en": "Journal Article (Final)",
      "authors_en": "",
      "abstract_excerpt_en": ""
    }
  ],
  "translation_state": "none"
}