Hochschulschrift

Simulation-based simplification of omega-automata

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Kiel, Univ., Diss., 2006

Urheber
Fritz, Carsten

URN
urn:nbn:de:gbv:8-diss-16446
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:30 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

  • Fritz, Carsten

Ähnliche Objekte (12)

Simplification problems for automata and games

Hochschulschrift

Simplification problems for automata and games

Simplification problems for automata and games

Hochschulschrift

Simplification problems for automata and games

Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata

Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata

Polynomial Identification of $\omega$-Automata

zweidimensionales bewegtes Bild

Polynomial Identification of $\omega$-Automata

Singleton Acceptance Conditions in omega-Automata

Singleton Acceptance Conditions in omega-Automata

Transformation Between Regular Expressions and omega-Automata

Transformation Between Regular Expressions and omega-Automata

Simulation model simplification in semiconductor manufacturing

Simulation model simplification in semiconductor manufacturing

Simulation with cellular automata

Simulation with cellular automata

Simplification

Abschnitt

Simplification

Simulation-Based IT Process Governance

Simulation-Based IT Process Governance

Buffered Simulation for Büchi Automata

Buffered Simulation for Büchi Automata

Improving coverage in simulation-based verification

Hochschulschrift

Improving coverage in simulation-based verification

Verbundene Objekte