- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1614-5054
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Specification decomposition for reactive synthesis ; day:18 ; month:7 ; year:2022 ; pages:1-19
Innovations in systems and software engineering ; (18.7.2022), 1-19
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-022-00462-6
- URN
-
urn:nbn:de:101:1-2022092801091153580141
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 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
- Finkbeiner, Bernd
- Geier, Gideon
- Passing, Noemi
- SpringerLink (Online service)
Other Objects (12)
Spectra: a specification language for reactive systems
Symbolic reactive synthesis
Combining Decomposition and Unfolding for STG Synthesis
Controller synthesis for deterministic context free specification languages
Controller Synthesis for Deterministic Context Free Specification Languages
The temporal logic of reactive and concurrent systems : specification
Scene Understanding and Decomposition for Synthesis and Editing
Reactive fluoropolymers synthesis and application
Synthesis of reactive distillation processes
Specifiable robustness in reactive synthesis
Compositional synthesis of reactive systems
Reactive fluoropolymers : synthesis and application
Spectra: a specification language for reactive systems
Symbolic reactive synthesis
Combining Decomposition and Unfolding for STG Synthesis
Controller synthesis for deterministic context free specification languages
Controller Synthesis for Deterministic Context Free Specification Languages
The temporal logic of reactive and concurrent systems : specification
Scene Understanding and Decomposition for Synthesis and Editing
Reactive fluoropolymers synthesis and application
Synthesis of reactive distillation processes
Specifiable robustness in reactive synthesis
Compositional synthesis of reactive systems
Reactive fluoropolymers : synthesis and application
Spectra: a specification language for reactive systems
Symbolic reactive synthesis
Combining Decomposition and Unfolding for STG Synthesis
Controller synthesis for deterministic context free specification languages
Controller Synthesis for Deterministic Context Free Specification Languages
The temporal logic of reactive and concurrent systems : specification
Scene Understanding and Decomposition for Synthesis and Editing
Reactive fluoropolymers synthesis and application
Synthesis of reactive distillation processes
Specifiable robustness in reactive synthesis
Compositional synthesis of reactive systems