- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Chemnitz, Technische Universität Chemnitz, Masterarbeit, 2019
- Schlagwort
-
Formale Spezifikationstechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Chemnitz
- (wer)
-
Technische Universität Chemnitz
- (wann)
-
2020
- Urheber
-
Gulati, Pranav
- Beteiligte Personen und Organisationen
-
Hardt, Wolfram
Reich, Marina
- URN
-
urn:nbn:de:bsz:ch1-qucosa2-723256
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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
- Gulati, Pranav
- Hardt, Wolfram
- Reich, Marina
- Technische Universität Chemnitz
Entstanden
- 2020
Ähnliche Objekte (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
Towards Collection of Smart City Data for Cloud Storage Using UAVs
Low Latency Reliable Data Sharing Mechanism for UAV Swarm Missions
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
Towards Collection of Smart City Data for Cloud Storage Using UAVs
Low Latency Reliable Data Sharing Mechanism for UAV Swarm Missions
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
Towards Collection of Smart City Data for Cloud Storage Using UAVs
Low Latency Reliable Data Sharing Mechanism for UAV Swarm Missions
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