Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
39 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

39 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Towards Building Verifiable CPS using Lingua Franca.
    SHAOKAI, LIN ; MANERKAR, YATIN A. ; et al.
    In: ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-24
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.
    Menghi, Claudio ; Viganò, Enrico ; et al.
    In: ICSE: International Conference on Software Engineering, 2021-05-22, S. 847-859
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A FUNCTIONAL ABSTRACTION OF TYPED INVOCATION CONTEXTS.
    YOUYOU, CONG ; CHIAKI, ISHIO ; et al.
    In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-07-01), Heft 3, S. 1-31
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.
    XIONG, XU ; TALPIN, JEAN-PIERRE ; et al.
    In: ACM Transactions on Software Engineering & Methodology, Jg. 32 (2023), Heft 1, S. 1-48
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Constructive forcing, CPS translations and witness extraction in Interactive realizability.
    ASCHIERI, FEDERICO
    In: Mathematical Structures in Computer Science, Jg. 27 (2017-09-01), Heft 6, S. 993-1031
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    On one-pass CPS transformations.
    OLIVIER, DANVY ; KEVIN, MILLIKIN ; et al.
    In: Journal of Functional Programming, Jg. 17 (2007-11-01), Heft 6, S. 793-812
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Game semantics and linear CPS interpretation
    Laird, J.
    In: Theoretical Computer Science, Jg. 333 (2005-03-01), Heft 1/2, S. 199-224
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    On the call-by-value CPS transform and its semantics
    Führmann, Carsten ; Thielecke, Hayo
    In: Information & Computation, Jg. 188 (2004-01-29), Heft 2, S. 241-283
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A compositional framework for algebraic quantitative online monitoring over continuous-time signals.
    Mamouras, Konstantinos ; Chattopadhyay, Agnishom ; et al.
    In: International Journal on Software Tools for Technology Transfer, Jg. 25 (2023-08-01), Heft 4, S. 557-573
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Three Syntactic Theories for Combinatory Graph Reduction.
    DANVY, OLIVIER ; ZERNY, IAN
    In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), Heft 4, S. 1-27
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
    Xu, Xiong ; Wang, Shuling ; et al.
    In: Theoretical Computer Science, Jg. 903 (2022-02-08), S. 1-25
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations.
    BIERNACKI, DARIUSZ ; DANVY, OLIVIER ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 38 (2015-10-01), Heft 1, S. 2:1- (25S.)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    A contract-based semantics and refinement for hybrid Simulink block diagrams.
    Sun, Quan ; Zhang, Wei ; et al.
    In: Journal of Systems Architecture, Jg. 143 (2023-10-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Incremental Hierarchical Clustering driven Automatic Annotations for Unifying IoT Streaming Data.
    Balakrishna, Sivadi ; Thirumaran, M. ; et al.
    In: International Journal of Interactive Multimedia & Artificial Intelligence, Jg. 6 (2020-06-01), Heft 2, S. 56-70
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Ontology Building for Cyber–Physical Systems: Application in the Manufacturing Domain.
    Hildebrandt, Constantin ; Kocher, Aljosha ; et al.
    In: IEEE Transactions on Automation Science & Engineering, Jg. 17 (2020-07-01), Heft 3, S. 1266-1282
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems.
    Dai, Wenbin ; Pang, Cheng ; et al.
    In: IEEE Transactions on Systems, Man & Cybernetics. Systems, Jg. 50 (2020-03-01), Heft 3, S. 851-862
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Semantics for Cyber-Physical Systems: A cross-domain perspective.
    Hitzler, Pascal ; Janowicz, Krzysztof ; et al.
    In: Semantic Web (1570-0844), Jg. 11 (2020), Heft 1, S. 115-124
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Effect handlers via generalised continuations.
    HILLERSTRÖM, DANIEL ; LINDLEY, SAM ; et al.
    In: Journal of Functional Programming, Jg. 30 (2020), S. 1-69
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Knowledge-based cyber-physical systems for assembly automation.
    Merdan, Munir ; Hoebert, Timon ; et al.
    In: Production & Manufacturing Research, Jg. 7 (2019-12-01), Heft 1, S. 223-254
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Towards correctness proof for hybrid Simulink block diagrams.
    Zhang, Wei ; Sun, Quan ; et al.
    In: Journal of Systems Architecture, Jg. 141 (2023-08-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -