يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"Florian Kohn"', وقت الاستعلام: 0.30s تنقيح النتائج
  1. 1
    Academic Journal
    A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

    المؤلفون: Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger

    المصدر: Algorithms, Vol 15, Iss 4, p 126 (2022)

    مصطلحات موضوعية: signal temporal logic, online monitoring, uncertain information, partial observation, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

    وصف الملف: electronic resource

    Relation: https://www.mdpi.com/1999-4893/15/4/126; https://doaj.org/toc/1999-4893

    URL الوصول: https://doaj.org/article/a6c4565e3e944fc5b7342a59286207a8

    View record in DOAJ Full Text Finder

    أضف إلى المفضلة
  2. 2
    Academic Journal
    Leveraging Static Analysis: An IDE for RTLola.

    المؤلفون: Bernd Finkbeiner, Florian Kohn, Malte Schledjewski

    مصطلحات موضوعية: Reliable Security Guarantees, Reliable Security guarantees RA3

    Relation: https://figshare.com/articles/journal_contribution/Leveraging_Static_Analysis_An_IDE_for_RTLola_/25243102

    الاتاحة: https://doi.org/10.60882/cispa.25243102.v1
    https://figshare.com/articles/journal_contribution/Leveraging_Static_Analysis_An_IDE_for_RTLola_/25243102

    View record in BASE

    أضف إلى المفضلة
  3. 3
    Academic Journal
    The German version of the tablet‐based UCSF Brain Health Assessment is sensitive to early symptoms of neurodegenerative disorders

    المؤلفون: Gianina Toller, Lorena Stäger, Dilaxy Kumurasamy, Patrick Callahan, Florian Köhn, Thomas Münzer, Ursi Kunze, Andreas U. Monsch, Kate Possin, Katherine P. Rankin, Ansgar Felbecker

    المصدر: Brain and Behavior, Vol 13, Iss 12, Pp n/a-n/a (2023)

    مصطلحات موضوعية: cognitive screening, major neurocognitive disorder, mild neurocognitive disorder, primary care, tablet‐based testing, Neurosciences. Biological psychiatry. Neuropsychiatry, RC321-571

    وصف الملف: electronic resource

    Relation: https://doaj.org/toc/2162-3279

    URL الوصول: https://doaj.org/article/019de98af39843c5b0c9cde894fd2dab

    View record in DOAJ Full Text Finder

    أضف إلى المفضلة
  4. 4
    Academic Journal
    On the Security of IIoT Deployments: An Investigation of Secure Provisioning Solutions for OPC UA

    المؤلفون: Florian Kohnhauser, David Meier, Florian Patzer, Soren Finster

    المصدر: IEEE Access, Vol 9, Pp 99299-99311 (2021)

    مصطلحات موضوعية: Communication system security, device provisioning, Industrial Internet of Things (IIoT), industry 40, network security, OPC UA, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

    وصف الملف: electronic resource

    Relation: https://ieeexplore.ieee.org/document/9478911/; https://doaj.org/toc/2169-3536

    URL الوصول: https://doaj.org/article/18683bdd258645bf8671a8b6c225e60d

    View record in DOAJ Full Text Finder

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء