full record print

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
publisher
journal volume number month
vol. 95
year of publication
pages
p. 354-363 : ill
url
ISSN
0167-739X
notes
Bibliogr.: 29 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Industrial Internet of Things (IIoT)
Model-Based Engineering (MBE)
verification
process industries
IoT architecture
Reserch Group
High-assurance software laboratory
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