Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
- Weitere Titel
-
Kompositionelle Synthese von symbolischen Modellen für (un)endliche Netzwerke von cyber-physischen Systemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2020
- Schlagwort
-
Cooperating objects (Computer systems)
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2020
- Urheber
-
Swikir, Abdalla
- Beteiligte Personen und Organisationen
-
Buss, Martin
Zamani, Majid
- URN
-
urn:nbn:de:bvb:91-diss-20201201-1548907-1-1
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:25 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
- Swikir, Abdalla
- Buss, Martin
- Zamani, Majid
- Universitätsbibliothek der TU München
Entstanden
- 2020
Ähnliche Objekte (12)
Compositional cyber-physical epidemiology of COVID-19
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Fog computing application of cyber-physical models of IoT devices with symbolic approximation algorithms
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Compositional cyber-physical epidemiology of COVID-19
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Fog computing application of cyber-physical models of IoT devices with symbolic approximation algorithms
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Compositional cyber-physical epidemiology of COVID-19
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Fog computing application of cyber-physical models of IoT devices with symbolic approximation algorithms
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems