- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1614-5054
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-022-00462-6
- URN
-
urn:nbn:de:101:1-2022092801091153580141
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 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
- Finkbeiner, Bernd
- Geier, Gideon
- Passing, Noemi
- SpringerLink (Online service)
Ähnliche Objekte (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