eBook
Software Trustworthy Modeling and Verification Algorithm for CPS Time Attributes
| Τίτλος: | Software Trustworthy Modeling and Verification Algorithm for CPS Time Attributes |
|---|---|
| Συγγραφείς: | Wu, HuilinAff17, Zhang, XiaocuiAff17 |
| Συνεισφορές: | 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 |
| Πηγή: | Application of Intelligent Systems in Multi-modal Information Analytics : 2021 International Conference on Multi-modal Information Analytics (MMIA 2021), Volume 2. 1385:448-454 |
| Βάση Δεδομένων: | Springer Nature eBooks |
| ISBN: | 9783030748135 9783030748142 |
|---|---|
| DOI: | 10.1007/978-3-030-74814-2_63 |