78a4748a309daf2b7c3d · Journal Article
Generating Extended State Transitions from Structured Specifications for Process Control Systems
NIST · ИТNIST · ИТ · 78a4748a309daf2b7c3d
Generating Extended State Transitions from Structured Specifications for Process Control Systems
NIST · ИТОфициальный источник · 1989-09-01
{
"title_en": "Generating Extended State Transitions from Structured Specifications for Process Control Systems",
"designation": "Journal Article",
"series": "Journal Article",
"status": "Final",
"date": "1989-09-01",
"date_original": "9/01/1989",
"url": "https://csrc.nist.gov/pubs/journal/1989/09/generating-extended-state-transitions-from-structu/final",
"source": "CSRC",
"display_en": "Journal Article (Final)",
"authors_en": "",
"abstract_excerpt_en": "",
"id": "78a4748a309daf2b7c3d",
"sources": [
"CSRC"
],
"source_records": [
{
"title_en": "Generating Extended State Transitions from Structured Specifications for Process Control Systems",
"designation": "Journal Article",
"series": "Journal Article",
"status": "Final",
"date": "1989-09-01",
"date_original": "9/01/1989",
"url": "https://csrc.nist.gov/pubs/journal/1989/09/generating-extended-state-transitions-from-structu/final",
"source": "CSRC",
"display_en": "Journal Article (Final)",
"authors_en": "",
"abstract_excerpt_en": ""
}
],
"translation_state": "none"
}