Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Bundas, Matthew"'
Autor:
Nguyen, Thanh Hai, Bundas, Matthew, Son, Tran Cao, Balduccini, Marcello, Garwood, Kathleen Campbell, Griffor, Edward R.
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 conc
Externí odkaz:
http://arxiv.org/abs/2201.05710
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
NGUYEN, THANH HAI, BUNDAS, MATTHEW, SON, TRAN CAO, BALDUCCINI, MARCELLO, GARWOOD, KATHLEEN CAMPBELL, GRIFFOR, EDWARD R.
Publikováno v:
Theory & Practice of Logic Programming; Sep2023, Vol. 23 Issue 5, p1029-1069, 41p
