- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Chemnitz, Technische Universität Chemnitz, Masterarbeit, 2019
- Keyword
-
Formale Spezifikationstechnik
- Event
-
Veröffentlichung
- (where)
-
Chemnitz
- (who)
-
Technische Universität Chemnitz
- (when)
-
2020
- Creator
-
Gulati, Pranav
- Contributor
-
Hardt, Wolfram
Reich, Marina
- URN
-
urn:nbn:de:bsz:ch1-qucosa2-723256
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 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
- Gulati, Pranav
- Hardt, Wolfram
- Reich, Marina
- Technische Universität Chemnitz
Time of origin
- 2020
Other Objects (12)
Editorial
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
Automated Evaluation of Smart City Data from Cloud-System
Low Latency Reliable Data Sharing Mechanism for UAV Swarm Missions
Towards Collection of Smart City Data for Cloud Storage Using UAVs
Automotive Powertrain Software Evaluation Tool
Entwicklung einer generischen Testumgebung für Automotive Software Systems : Entwicklung einer generischen Testumgebung für Automotive SoftwareSystems
Evaluation of AXI-Interfaces for Hardware Software Communication
Database centric software test management framework for test metrics
Hardware/Software Co-Verification Using the SystemVerilog DPI
Hardware Software Co-Design for Impact Localization using Hybrid Laminates
Editorial
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
Automated Evaluation of Smart City Data from Cloud-System
Low Latency Reliable Data Sharing Mechanism for UAV Swarm Missions
Towards Collection of Smart City Data for Cloud Storage Using UAVs
Automotive Powertrain Software Evaluation Tool
Entwicklung einer generischen Testumgebung für Automotive Software Systems : Entwicklung einer generischen Testumgebung für Automotive SoftwareSystems
Evaluation of AXI-Interfaces for Hardware Software Communication
Database centric software test management framework for test metrics
Hardware/Software Co-Verification Using the SystemVerilog DPI
Hardware Software Co-Design for Impact Localization using Hybrid Laminates
Editorial
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
Automated Evaluation of Smart City Data from Cloud-System
Low Latency Reliable Data Sharing Mechanism for UAV Swarm Missions
Towards Collection of Smart City Data for Cloud Storage Using UAVs
Automotive Powertrain Software Evaluation Tool
Entwicklung einer generischen Testumgebung für Automotive Software Systems : Entwicklung einer generischen Testumgebung für Automotive SoftwareSystems
Evaluation of AXI-Interfaces for Hardware Software Communication
Database centric software test management framework for test metrics
Hardware/Software Co-Verification Using the SystemVerilog DPI