Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Schlagwort

162 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
    Westergaard, M. ; Fahland, D. ; et al.
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    CPN Assistant II: A Tool for Management of Networked Simulations
    Slodičák, Viliam ; Korecko, Stefan ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Simulating Model of NGN Based on CPN Tools
    Lu, Yiqin ; Quan, Runqing ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    CPN Tools’ Application in Verification of Parallel Programs
    Cheng, Bin ; Zhu, Lulu ; et al.
    2010
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    People Transfer in City Transport Modeled via CPN
    Kol, an ; Květoňov, rka
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    CPN-Based Composition in Modeling Command and Control of Surface Air Defense
    Wang, Bo ; Zhang, Shiliao ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS
    Henry Michael Lassen ; Lund, Kasper ; et al.
    2001
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
    Mackay, Wendy E. ; Beaudouin-Lafon, Michel ; et al.
    2001
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Generating Protocol Software from CPN Models Annotated with Pragmatics
    Lars Michael Kristensen ; Kindler, Ekkart ; et al.
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Research of Automatic Conversion from UML Sequence Diagram to CPN Based on Modular Conversion
    Kong, Fansheng ; Zhu, LianZhang
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
    Kent Inge Fagerland Simonsen ; Lars Michael Kristensen
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool
    Amirat, Yacine ; Kahloul, Laid ; et al.
    2010
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    A Hierarchical CPN Model for Mobility Analysis in Zone Based MANET
    Chaki, Nabendu ; Dasgupta, Moitreyee ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Blind Fault Diagnosis Algorithm for Integrated Circuit Based on the CPN Neural Networks
    Zhu, Daqi ; Yang, Yongqing ; et al.
    2004
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    CPN ML Programming
    Jensen, Kurt ; Lars Michael Kristensen
    2009
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    CPN-Based State Analysis and Prediction for Multi-agent Scheduling and Planning
    Zhang, Minjie ; Bai, Quan ; et al.
    2009
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment
    Guerrero, Dalton ; Perkusich, Angelo ; et al.
    2001
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Classical solutions to CPn−1 models and their generalizations
    Zakrzewski, W. J.
    2008
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    CPN and QoS Driven Smart Routing in Wired and Wireless Networks
    Liu, Peixiang ; Gellman, Michael ; et al.
    2004
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Design/CPN — A computer tool for Coloured Petri Nets
    Lars Michael Kristensen ; Christensen, Søren ; et al.
    1997
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -