A Software Verification Method for the Internet of Things and Cyber-Physical Systems
With the proliferation of the Internet of Things devices and cyber-physical systems, there is a growing demand for highly functional and high-quality software. To address this demand, it is crucial to employ effective software verification methods. The proposed method is based on the use of physical...
| Hlavní autoři: | , |
|---|---|
| Médium: | Článek |
| Jazyk: | English |
| Vydáno: |
MDPI AG
2023-07-01
|
| Edice: | Computation |
| Témata: | |
| On-line přístup: | https://www.mdpi.com/2079-3197/11/7/135 |