Compositional minimization of finite state systems using interface specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
35 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 33 - 35
- Ereignis
-
Veröffentlichung
- (wo)
-
Passau
- (wer)
-
Univ., Fak. für Math. und Informatik
- (wann)
-
1995
- Urheber
-
Graf, Susanne
Steffen, Bernhard
Lüttgen, Gerald
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:42 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Graf, Susanne
- Steffen, Bernhard
- Lüttgen, Gerald
- Univ., Fak. für Math. und Informatik
Entstanden
- 1995
Ähnliche Objekte (12)
Multi-fidelity User Interface Specifications
Aggregation-based minimization of finite state automata
Iterative minimization of partial finite state machines
Learning finite state machine specifications from test cases
Approaching Smart Interface Specifications in the Systems of Systems Context
Finite-trace and generalized-reactivity specifications in temporal synthesis
Synthesis from Weighted Specifications with Partial Domains over Finite Words
Compositional non-blockingness verification of finite automata with prioritised events
Finite Element Discretization of Local Minimization Schemes for Rate-Independent Evolutions
FEDIS - finite element data interface standard
Composite finite elements for elliptic interface problems
A sharp interface method using enriched finite elements for elliptic interface problems
Multi-fidelity User Interface Specifications
Aggregation-based minimization of finite state automata
Iterative minimization of partial finite state machines
Learning finite state machine specifications from test cases
Approaching Smart Interface Specifications in the Systems of Systems Context
Finite-trace and generalized-reactivity specifications in temporal synthesis
Synthesis from Weighted Specifications with Partial Domains over Finite Words
Compositional non-blockingness verification of finite automata with prioritised events
Finite Element Discretization of Local Minimization Schemes for Rate-Independent Evolutions
FEDIS - finite element data interface standard
Composite finite elements for elliptic interface problems
A sharp interface method using enriched finite elements for elliptic interface problems
Multi-fidelity User Interface Specifications
Aggregation-based minimization of finite state automata
Iterative minimization of partial finite state machines
Learning finite state machine specifications from test cases
Approaching Smart Interface Specifications in the Systems of Systems Context
Finite-trace and generalized-reactivity specifications in temporal synthesis
Synthesis from Weighted Specifications with Partial Domains over Finite Words
Compositional non-blockingness verification of finite automata with prioritised events
Finite Element Discretization of Local Minimization Schemes for Rate-Independent Evolutions
FEDIS - finite element data interface standard
Composite finite elements for elliptic interface problems