prindi

A model-based approach for design and verification of Industrial Internet of Things

autor
Muthukumar, Natarajan
Sriniavsan, Seshadhri
Ramkumar, Kannan
Pal, Deepak
Vain, Jüri
Ramaswamy, Srini
vastutusandmed
Muthukumar N., Seshadhri Srinivasan, K. Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy
allikas
Future generation computer systems
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 95
ilmumisaasta
2019
leheküljed
p. 354-363 : ill
leitav
https://doi.org/10.1016/j.future.2018.12.012
märksõna
asjade internet
mudelipõhine tarkvaraarendus
verifikatsioon
tööstuslikud protsessid
protsessijuhtimine
võtmesõna
Industrial Internet of Things (IIoT)
Model-Based Engineering (MBE)
verification
process industries
IoT architecture
ISSN
0167-739X
märkused
Bibliogr.: 29 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Arvutiteadus
kategooria (alam)
Arvutiteadus. Riistvara ja arhitektuur
Arvutiteadus. Arvutivõrgud ja side
Arvutiteadus. Tarkvara
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
Muthukumar, N., Srinivasan, S., Ramkumar, K., Pal, D., Vain, J., Ramaswamy, S. A model-based approach for design and verification of Industrial Internet of Things // Future generation computer systems (2019) vol. 95, p. 354-363 : ill. https://doi.org/10.1016/j.future.2018.12.012