Specification and Analysis of Software Systems with Configurable Real-Time Behavior
- Weitere Titel
-
Spezifikation und Analyse von Software-Systemen mit konfigurierbarem Echtzeitverhalten
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2020
- Schlagwort
-
Time
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek
- (wann)
-
2020
- Urheber
- Beteiligte Personen und Organisationen
- DOI
-
10.25534/tuprints-00017363
- URN
-
urn:nbn:de:tuda-tuprints-173639
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
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
- Luthmann, Lars
- Schürr, Andy
- Mousavi, Mohammad Reza
- Lochau, Malte
- Universitäts- und Landesbibliothek
Entstanden
- 2020
Ähnliche Objekte (12)
Software development of reconfigurable real-time systems : from specification to implementation
Specification techniques for real-time systems
Specification and verification of mobile real-time systems
Analyzing Real-Time Behavior of Flash Memories
Specification, allocation and schedulability analysis for fixed priority hard real-time systems
Languages, tools and patterns for the specification of distributed real-time tests
Specification and verification for real-time coordination protocols of cyber-physical systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Securing real-time cyber-physical systems using artificial software diversity
Real-Time Chat Application with ADALM-PLUTO Software Defined Radio
Real-time monitoring of wind converters based on software agents
Specification of software systems
Software development of reconfigurable real-time systems : from specification to implementation
Specification techniques for real-time systems
Specification and verification of mobile real-time systems
Analyzing Real-Time Behavior of Flash Memories
Specification, allocation and schedulability analysis for fixed priority hard real-time systems
Languages, tools and patterns for the specification of distributed real-time tests
Specification and verification for real-time coordination protocols of cyber-physical systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Securing real-time cyber-physical systems using artificial software diversity
Real-Time Chat Application with ADALM-PLUTO Software Defined Radio
Real-time monitoring of wind converters based on software agents
Specification of software systems
Software development of reconfigurable real-time systems : from specification to implementation
Specification techniques for real-time systems
Specification and verification of mobile real-time systems
Analyzing Real-Time Behavior of Flash Memories
Specification, allocation and schedulability analysis for fixed priority hard real-time systems
Languages, tools and patterns for the specification of distributed real-time tests
Specification and verification for real-time coordination protocols of cyber-physical systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Securing real-time cyber-physical systems using artificial software diversity
Real-Time Chat Application with ADALM-PLUTO Software Defined Radio
Real-time monitoring of wind converters based on software agents