NIST · ИТ · 8d789ee51dfa320230cb
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition, various problems related to concerns
NIST · ИТОфициальный источник · 2022-03-03
{
"title_en": "Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework",
"designation": "",
"series": "",
"status": "",
"date": "2022-03-03",
"date_original": "March 3, 2022",
"url": "https://www.nist.gov/publications/specifying-and-reasoning-about-cps-through-lens-nist-cps-framework",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Thanh Nguyen, Matthew Bundas, Tran Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward Griffor",
"abstract_excerpt_en": "This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition, various problems related to concerns",
"id": "8d789ee51dfa320230cb",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework",
"designation": "",
"series": "",
"status": "",
"date": "2022-03-03",
"date_original": "March 3, 2022",
"url": "https://www.nist.gov/publications/specifying-and-reasoning-about-cps-through-lens-nist-cps-framework",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Thanh Nguyen, Matthew Bundas, Tran Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward Griffor",
"abstract_excerpt_en": "This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition, various problems related to concerns"
}
],
"translation_state": "none"
}