Finite-trace and generalized-reactivity specifications in temporal synthesis
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Finite-trace and generalized-reactivity specifications in temporal synthesis ; day:15 ; month:3 ; year:2023 ; pages:1-25
Formal methods in system design ; (15.3.2023), 1-25
- Urheber
-
Giacomo, Giuseppe De
Stasio, Antonio Di
Tabajara, Lucas M.
Vardi, Moshe Y.
Zhu, Shufang
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00413-2
- URN
-
urn:nbn:de:101:1-2023080509162883385195
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 10:51 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
- Giacomo, Giuseppe De
- Stasio, Antonio Di
- Tabajara, Lucas M.
- Vardi, Moshe Y.
- Zhu, Shufang
- SpringerLink (Online service)
Ähnliche Objekte (12)
GENERALIZED FINITE OPERATORS
Learning finite state machine specifications from test cases
An algorithm for the real-time evaluation of temporal trace specifications
Compositional minimization of finite state systems using interface specifications
Generalized bases of finite groups
Generalized bases of finite groups
Synthesis from Weighted Specifications with Partial Domains over Finite Words
2/4 Trace functions over finite fields
1/4 Trace functions over finite fields
3/4 Trace functions over finite fields
4/4 Trace functions over finite fields
Generalized parameter identification for finite viscoelasticity
GENERALIZED FINITE OPERATORS
Learning finite state machine specifications from test cases
An algorithm for the real-time evaluation of temporal trace specifications
Compositional minimization of finite state systems using interface specifications
Generalized bases of finite groups
Generalized bases of finite groups
Synthesis from Weighted Specifications with Partial Domains over Finite Words
2/4 Trace functions over finite fields
1/4 Trace functions over finite fields
3/4 Trace functions over finite fields
4/4 Trace functions over finite fields
Generalized parameter identification for finite viscoelasticity
GENERALIZED FINITE OPERATORS
Learning finite state machine specifications from test cases
An algorithm for the real-time evaluation of temporal trace specifications
Compositional minimization of finite state systems using interface specifications
Generalized bases of finite groups
Generalized bases of finite groups
Synthesis from Weighted Specifications with Partial Domains over Finite Words
2/4 Trace functions over finite fields
1/4 Trace functions over finite fields
3/4 Trace functions over finite fields
4/4 Trace functions over finite fields