„Produktnetz“

Suchergebnisse

1.000+ Treffer

• Systemarchitektur eines Sicherheitsmoduls im Energiesektor
  Frauenschläger, Tobias ; Dentgen, Manuel ; Mottok, Jürgen 2020 Hochschule für Angewandte Wissenschaften Landshut
• Untersuchungen zur Modellierung von Zeitaspekten mit Produktnetzen
  Schumann, Andreas 1995 GMD-Forschungszentrum Informationstechnik
• Modellierung verteilter Systeme – Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
  Ochsenschläger, Peter ; Prinoth, Rainer 1995 Vieweg
• Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung
  Nebel, Markus 1994 GMD
• Verifikation von Smartcard-Anwendungen mittels Produktnetzen
  Giehl, Harald 1993 GMD
• OSI-Vermittlungsdienst und sein Verhältnis zum SDN-D-Kanalprotokoll – Spezifikation und Analyse mit Produktnetzen
  Klug, Wolfgang 1992 GMD
• ISDN-D-Kanalprotokoll der Schicht 3 – Spezifikation und Analyse mit Produktnetzen
  Schremmer, Stefan 1992 GMD
• Strukturbasierte Dekomposition von allgemeinen stochastischen Petrinetzen (GSPN)
  Ziegler, Peter 1999 Logos-Verl.
• Modellierung von Zeitaspekten mit Produktnetzen
  Burkhardt, Heinz Jürgen ; Prinoth, Rainer 1988 GMD
• Analyse kryptographischer Protokolle
  Schober, Jochen 1998 Shaker
• Entwurf und Analyse von Produktnetzen
  Faltin, Ute ; Ochsenschläger, Peter ; Paule, Christa 1988 GMD
• Erreichbarkeitsanalyse von Produktnetzen
  Nitsche, Ulrich 1991 GMD
• Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG
  Nitsche, Ulrich 1988 GMD
• Entwicklung eines Gestaltungsmodells zum Management von Risiken in Produktnetzwerken – ein Beitrag zum Risikomanagement in der Logistik
  Thom, Alexander 2008 Univ.-Verl. der TU, Univ.-Bibliothek
• CIRED 2021: Bericht über die Session 1 – Network Components
  Jambrich, Gerhard ; Trentler, Klaus
• Analyse kryptographischer Protokolle mittels Produktnetzen basierend auf Modellannahmen der BAN-Logik
  Rudolph, Carsten 1998 GMD-Forschungszentrum Informationstechnik
• Modellierung verteilter Systeme – Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
  1995 Vieweg+Teubner Verlag
• Testgenerierung mit Produktnetzen – Algorithmus, Implementierung und Benutzeranleitung
  Baumgarten, Bernd ; Gießler, Alfred ; Paule, Christa 1991 GMD
• Beschreibungsmittel und Konzepte zur Realisierung verteilter Systeme – Überlegungen anhand von Produktnetzen
  Prinoth, Rainer 1991 GMD
• Die Produktnetzmaschine – eine Übersicht
  Ochsenschläger, Peter 1991 GMD