A model-based approach for design and verification of Industrial Internet of Things
author
Muthukumar, Natarajan
Srinivasan, 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
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
category (general)
Computer science
Arvutiteadus
category (sub)
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
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory