> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: IoT Modeling and Verification: From the CaIT Calculus to UPPAAL Beteiligte: CHEN, Ningning; ZHU, Huibiao Erschienen: Institute of Electronics, Information and Communications Engineers (IEICE), 2023 Erschienen in: IEICE Transactions on Information and Systems Sprache: Englisch DOI: 10.1587/transinf.2022edp7223 ISSN: 0916-8532; 1745-1361 Schlagwörter: Artificial Intelligence ; Electrical and Electronic Engineering ; Computer Vision and Pattern Recognition ; Hardware and Architecture ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang