A model-based approach for design and verification of Industrial Internet of Things
autor
Muthukumar, Natarajan
Srinivasan, 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
https://www.scopus.com/sourceid/12264
https://www.scopus.com/record/display.uri?eid=2-s2.0-85060110798&origin=inward&txGid=3c14b03ae74608c4192158fb37ecb2c2
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000465509600029
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Hardware and architecture
Computer science. Computer networks and communications
Computer science. Software
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