- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1614-5054
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Compositional synthesis of modular systems ; day:1 ; month:4 ; year:2022 ; pages:1-15
Innovations in systems and software engineering ; (1.4.2022), 1-15
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-022-00450-w
- URN
-
urn:nbn:de:101:1-2022062023414403037340
- 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
- Passing, Noemi
- SpringerLink (Online service)
Other Objects (12)
Compositional synthesis of reactive systems
Modular Specification and Compositional Soundness of Abstract Interpreters
Compositional refinement of interactive systems
Compositional Testing of Communication Systems
Compositional synthesis and most general controllers
Compositional Synthesis and Most General Controllers
Compositional stability verification of hybrid systems
Logic synthesis for compositional microprogramm control units
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Model checking compositional Markov systems
Compositional learning of mutually recursive procedural systems
Modular, Scalable Total Synthesis of Neopetromin †
Compositional synthesis of reactive systems
Modular Specification and Compositional Soundness of Abstract Interpreters
Compositional refinement of interactive systems
Compositional Testing of Communication Systems
Compositional synthesis and most general controllers
Compositional Synthesis and Most General Controllers
Compositional stability verification of hybrid systems
Logic synthesis for compositional microprogramm control units
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Model checking compositional Markov systems
Compositional learning of mutually recursive procedural systems
Modular, Scalable Total Synthesis of Neopetromin †
Compositional synthesis of reactive systems
Modular Specification and Compositional Soundness of Abstract Interpreters
Compositional refinement of interactive systems
Compositional Testing of Communication Systems
Compositional synthesis and most general controllers
Compositional Synthesis and Most General Controllers
Compositional stability verification of hybrid systems
Logic synthesis for compositional microprogramm control units
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Model checking compositional Markov systems
Compositional learning of mutually recursive procedural systems