22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems : 8 April 2019, Kaiserslautern, Germany / / Institute of Electrical and Electronics Engineers |
Edizione | [Neuerscheinung] |
Pubbl/distr/stampa | Berlin, Germany : , : VDE Verlag, , 2019 |
Descrizione fisica | 1 online resource (9 pages) |
Disciplina | 621.392 |
Soggetto topico |
Computer hardware description languages
Integrated circuits - Verification System design |
ISBN | 3-8007-4946-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996575445603316 |
Berlin, Germany : , : VDE Verlag, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
IoT platforms, use cases, privacy, and business models : with hands-on examples based on the VICINITY platform / / editors, Carna Zivkovic, Yajuan Guan, Christoph Grimm |
Edizione | [1st edition 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (XI, 227 p. 77 illus., 64 illus. in color.) |
Disciplina | 004.678 |
Soggetto topico |
Electronic circuits
Microprocessors Computer engineering Internet of things Embedded computer systems |
ISBN | 3-030-45316-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- IoT Platforms -- Business models and use-cases for the IoT -- Development methods and tools -- Ontologies for semantic interoperability -- Standards for the IoT -- Security and Trust -- Privacy, GDPR and homomorphic encryption -- Mastering the IoT with the VICINITY platform. |
Record Nr. | UNINA-9910483767803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|