Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
4.501 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

4.501 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    A Distributed and Decentralized Certificateless Framework for Reliable Shared Data Auditing for FOG-CPS Networks
    Burra, Manohar Sai ; Maity, Soumyadev
    In: IEEE access, Jg. 11 (2023), S. 42595-42618
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    A Distributed and Decentralized Certificateless Framework for Reliable Shared Data Auditing for FOG-CPS Networks
    Burra, Manohar Sai ; Maity, Soumyadev
    In: IEEE access, Jg. 11 (2023), S. 42595-42618
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    Improved network performance in CPS communication with distributed IPC mechanisms of recursive internetworking architecture (RINA)
    Neelam, Bhushana Samyuel ; Shimray, Benjamin A.
    In: International journal of internet protocol technology, Jg. 16 (2023), Heft 1, S. 68-74
    serialPeriodical
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Three multi-responsive luminescent Zn-CPs for the detection of antibiotics/cations/anions in aqueous mediaElectronic supplementary information (ESI) available. CCDC 2217153–2217155. For ESI and crystallographic data in CIF or other electronic format see DOI: https://doi.org/10.1039/d2ce01507b
    Fan, Chuanbin ; Huang, Guimei ; et al.
    In: CrystEngComm, Jg. 25 (2023), Heft 4, S. 593-600
    serialPeriodical
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Recursive Watermarking-Based Transient Covert Attack Detection for the Industrial CPS
    Ma, Lei ; Chu, Zhong ; et al.
    In: IEEE transactions on information forensics and security, Jg. 18 (2023), S. 1709-1719
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems : 13th Computing, electrical, and industrial systems Doctoral conference, DoCEIS
    Wojnakowski, Marcin ; Popławski, Mateusz ; et al.
    In: International Federation for Information Processing -Publications- IFIP, Jg. 649 (2022), S. 74-82
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Translating CPS with Shared-Variable Concurrency in SpaceEx : 8th Dependable software engineering: theories, tools, and applications International symposium
    Li, Ran ; Zhu, Huibiao ; et al.
    In: Lecture notes in computer science, Jg. 13649 (2022), S. 127-133
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS : 14th NASA formal methods International symposium, NFM
    Mehmood, Usama ; Sheikhi, Sanaz ; et al.
    In: Lecture notes in computer science, Jg. 13260 (2022), S. 231-250
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Reliability evaluation method of energy internet CPS based on data field theory : International Conference on Optoelectronic Information and Functional Materials (OIFM 2023)
    Li, Hongqiang ; Xue, Fei ; et al.
    In: Proceedings of SPIE, the International Society for Optical Engineering, Jg. 12781 (2023), S. 1278123
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Research on verdant structure scheme administration under CPS technology : International Conference on Automation Control, Algorithm, and Intelligent Bionics (ACAIB 2023)
    Zhu, Jiabao
    In: Proceedings of SPIE, the International Society for Optical Engineering, Jg. 12759 (2023), S. 127593R
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    The Geo CPS Platform for Designing Smart Cities : Information modeling and knowledge bases (International conference)
    Yan, Wanglin ; Kiyoki, Yasushi ; et al.
    In: Frontiers in artificial intelligence and applications, Jg. 343 (2021), S. 289-296
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS : Leveraging applications of formal methods, verification and validation (10th international symposium, ISoLA 2021)
    Margaria, Tiziana ; Chaudhary, Hafiz Ahmad Awais ; et al.
    In: Lecture notes in computer science, Jg. 13036 (2021), S. 393-413
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap : 43rd Software engineering International conference
    Menghi, Claudio ; Viganò, Enrico ; et al.
    In: Proceedings... International Conference on Software Engineering, Jg. 43 (2021), Heft 2, S. 847-859
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    PROJECT OVERVIEW FOR STEP-UP!CPS - PROCESS, METHODS AND TECHNOLOGIES FOR UPDATING SAFETY-CRITICAL CYBER-PHYSICAL SYSTEMS : 24th Design, automation, and test in Europe Conference
    Strathmann, Thomas ; Hake, Georg ; et al.
    In: Proceedings, Jg. 3 (2021), S. 1326-1329
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    Certification Game for the Safety Analysis of AI-Based CPS : SAFECOMP workshops
    Lamrani, Imane ; Banerjee, Ayan ; et al.
    In: Lecture notes in computer science, Jg. 12853 (2021), S. 297-310
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Quantum Computing Threat Modelling on a Generic CPS Setup : Applied cryptography and network security (Workshop)
    Lee, Cher Chye ; Tan, Teik Guan ; et al.
    In: Lecture notes in computer science, Jg. 12809 (2021), S. 171-190
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    The Choice of AI Matters: Alternative Machine Learning Approaches for CPS Anomalies : Industrial, engineering and other applications of applied intelligent systems (International conference)
    Odyurt, Uraz ; Sapra, Dolly ; et al.
    In: Lecture notes in computer science, Jg. 12799 (2021), S. 474-484
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Human-Machine Cooperation with Autonomous CPS in the Context of Industry 4.0: A Literature Review : Service oriented, holonic and multi-agent manufacturing systems for industry of the future (Workshop)
    Gely, Corentin ; Trentesaux, Damien ; et al.
    In: Studies in computational intelligence, Jg. 952 (2021), S. 327-342
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS : 18th Software engineering and formal methods International conference, SEFM, Online
    Liboni, Giovanni ; Deantoni, Julien
    In: Lecture notes in computer science, Jg. 12524 (2021), S. 280-294
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    An FMI-Based Initialization Plugin for INTO-CPS Maestro 2 : 18th Software engineering and formal methods International conference, SEFM, Online
    Hansen, Simon Thrane ; Thule, Casper ; et al.
    In: Lecture notes in computer science, Jg. 12524 (2021), S. 295-330
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -