Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

16 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
    Johnsen, Einar Broch ; Blanchette, Jasmin Christian ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 243 (2009-07-28), S. 89-103
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
    Kyas, Marcel
    In: Electronic Notes in Theoretical Computer Science, Jg. 243 (2009-07-28), S. 105-120
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Resource Modeling for Timed Creol Models
    Schlatte, R. ; Aichernig, B. ; et al.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 266 (2010), S. 63-75
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Compositional Operational Semantics of a UML-Kernel-Model Language
    Fecher, Harald ; Kyas, Marcel ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 156 (2006-05-15), Heft 1, S. 79-96
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Formalizing UML Models and OCL Constraints in PVS
    Kyas, Marcel ; Fecher, Harald
    In: Electronic Notes in Theoretical Computer Science, Jg. 115 (2005-01-18), S. 39-47
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    On Message Specifications in OCL
    Kyas, Marcel
    In: Electronic Notes in Theoretical Computer Science, Jg. 101 (2004-11-01), Heft C, S. 73-93
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol
    Kyas, Marcel
    In: Electronic Notes in Theoretical Computer Science, Jg. 50 (2001-08-01), Heft 4, S. 357-370
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Credo Methodology
    Yi, Wang ; Kyas, Marcel ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 266 (2010-10-01), S. 33-48
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
    Jasmin Christian Blanchette ; Owe, Olaf ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 243 (2009-07-01), S. 89-103
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
    Kyas, Marcel
    In: Electronic Notes in Theoretical Computer Science, Jg. 243 (2009-07-01), S. 105-120
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Compositional Operational Semantics of a UML-Kernel-Model Language
    Fecher, Harald ; Kyas, Marcel ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 156 (2006-05-01), S. 79-96
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    On Message Specifications in OCL
    Frank S. de Boer ; Kyas, Marcel
    In: Electronic Notes in Theoretical Computer Science, Jg. 101 (2004-11-01), S. 73-93
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Resource Modeling for Timed Creol Models
    Aichernig, Bernhard K. ; Kyas, Marcel ; et al.
    In: Electronic Notes in Theoretical Computer Science, , S. 63-75
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Credo Methodology Modeling and Analyzing A Peer-to-Peer System in Credo
    Grabe, Immo ; Jaghoori, Mohammad Mahdi ; et al.
    In: Electronic Notes in Theoretical Computer Science, , S. 33-48
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol
    Kyas, Marcel
    In: Electronic Notes in Theoretical Computer Science, , Heft 4, S. 357-370
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -