A model-based approach for design and verification of Industrial Internet of Things
author
Muthukumar, Natarajan
Sriniavsan, Seshadhri
Ramkumar, Kannan
Pal, Deepak
Vain, Jüri
Ramaswamy, Srini
statement of authorship
Muthukumar N., Seshadhri Srinivasan, K. Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy
source
Future generation computer systems
publisher
Elsevier
journal volume number month
vol. 95
year of publication
2019
pages
p. 354-363 : ill
url
https://doi.org/10.1016/j.future.2018.12.012
subject term
asjade internet
mudelipõhine tarkvaraarendus
verifikatsioon
tööstuslikud protsessid
protsessijuhtimine
keyword
Industrial Internet of Things (IIoT)
Model-Based Engineering (MBE)
verification
process industries
IoT architecture
ISSN
0167-739X
notes
Bibliogr.: 29 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Hardware and architecture
en
Computer science. Computer networks and communications
en
Computer science. Software
en
Arvutiteadus. Riistvara ja arhitektuur
et
Arvutiteadus. Arvutivõrgud ja side
et
Arvutiteadus. Tarkvara
et
kvartiil
Q1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory