Order Article Reprints
Journal: SensorsVolume: 24Number: 767
Article: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
- Authors:
- Junsup Song1,
- Sunghyun Lee1 and
- Dimitris Karagiannis2
- et al.
MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.