- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1614-5054
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-022-00450-w
- URN
-
urn:nbn:de:101:1-2022062023414403037340
- 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
- Passing, Noemi
- SpringerLink (Online service)
Ähnliche Objekte (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