eBook
Software Trustworthy Modeling and Verification Algorithm for CPS Time Attributes
| Title: | Software Trustworthy Modeling and Verification Algorithm for CPS Time Attributes |
|---|---|
| Authors: | Wu, HuilinAff17, Zhang, XiaocuiAff17 |
| Contributors: | Kacprzyk, Janusz, Series EditorAff1, Pal, Nikhil R., Advisory EditorAff2, Bello Perez, Rafael, Advisory EditorAff3, Corchado, Emilio S., Advisory EditorAff4, Hagras, Hani, Advisory EditorAff5, Kóczy, László T., Advisory EditorAff6, Kreinovich, Vladik, Advisory EditorAff7, Lin, Chin-Teng, Advisory EditorAff8, Lu, Jie, Advisory EditorAff9, Melin, Patricia, Advisory EditorAff10, Nedjah, Nadia, Advisory EditorAff11, Nguyen, Ngoc Thanh, Advisory EditorAff12, Wang, Jun, Advisory EditorAff13, Sugumaran, Vijayan, editorAff14, Xu, Zheng, editorAff15, Zhou, Huiyu, editorAff16 |
| Source: | Application of Intelligent Systems in Multi-modal Information Analytics : 2021 International Conference on Multi-modal Information Analytics (MMIA 2021), Volume 2. 1385:448-454 |
| Database: | Springer Nature eBooks |
| ISBN: | 9783030748135 9783030748142 |
|---|---|
| DOI: | 10.1007/978-3-030-74814-2_63 |