„Zustandsgraph“

Suchergebnisse

1.000+ Treffer

• Konzeption und Entwicklung eines graphischen Analysewerkzeugs fuer Hoehere Petri-Netze mit zustandsabhaengiger Schaltregel
  Süß, Wolfgang 1993 KIT-Bibliothek
• Observation Petri Nets
  Weil-Kennedy, Chana Yvonne Marie ; Esparza Estaun, Francisco Javier ; Haddad, Serge 2023 Universitätsbibliothek der TU München
• High-Level-Synthese von Operationseigenschaften
  Langer, Jan ; Heinkel, Ulrich ; Kunz, Wolfgang 2011 Universitätsbibliothek Chemnitz
• Rekurrente Fuzzy-Systeme
  Kempf, Roland
• A symbolic approach to the state graph based analysis of high-level Markov reward models – = Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov-Reward-Modellen
  Lampka, Kai
• Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
  Störr, Hans-Peter 2005 dissertation.de
• Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
  Beyer, Dirk
• Reachability Problems – 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
  Bournez, Olivier 2009 Springer Berlin Heidelberg
• Reachability Problems – 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
  Delzanno, Giorgio ; Potapov, Igor 2011 Springer Berlin Heidelberg
• Reachability Problems – 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
  Kučera, Antonín 2010 Springer Berlin Heidelberg
• Automatische Duplikateliminierung in Aktivitätsdiagrammen von Fahrzeugfunktionen
  Beckmann, Martin ; Schlutter, Aaron 2016 Technische Universität Berlin
• Distributed querying of large labeled graphs
  Gurajada, Sairam ; Weikum, Gerhard 2017 Saarländische Universitäts- und Landesbibliothek
• Zustandsgraphen für SPS — Grafikunterstützte Programmierung und steuerungsunabhängige Darstellung
  Fleckenstein, Jürgen 1987 Springer Berlin Heidelberg
• Grundlagen der Automatisierungstechnik kompakt
  Plenk, Valentin 2027 Springer Fachmedien Wiesbaden GmbH
• A symbolic approach to the state graph based analysis of high-level Markov reward models – = Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov-Reward-Modellen
  Lampka, Kai
• Supporting the Development of Nonblocking Data Structures on Distributed Memory Systems
  Diep, Thanh-Dang 2025 Verlag Dr. Hut
• Reachability problems – 3rd international workshop ; proceedings
  Bournez, Olivier 2009 Springer
• Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
  Beyer, Dirk 2002 Mensch-und-Buch-Verl.
• Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
  Preußig, Jörg 2000 Shaker
• CADMOS – Component Driven Graphs als Grundlage von Softwaresystemen zur modellbasierten Systembeobachtung
  Reinhardt, Jens