- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Giacomo, Giuseppe De
Stasio, Antonio Di
Tabajara, Lucas M.
Vardi, Moshe Y.
Zhu, Shufang
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00413-2
- URN
-
urn:nbn:de:101:1-2023080509162883385195
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:51 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Giacomo, Giuseppe De
- Stasio, Antonio Di
- Tabajara, Lucas M.
- Vardi, Moshe Y.
- Zhu, Shufang
- SpringerLink (Online service)
Other Objects (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 Estimator of Finite population Variance
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 Estimator of Finite population Variance
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