Specification and Analysis of Software Systems with Configurable Real-Time Behavior
- Alternative title
-
Spezifikation und Analyse von Software-Systemen mit konfigurierbarem Echtzeitverhalten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2020
- Keyword
-
Time
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2020
- Creator
- Contributor
- DOI
-
10.25534/tuprints-00017363
- URN
-
urn:nbn:de:tuda-tuprints-173639
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 PM CET
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
- Luthmann, Lars
- Schürr, Andy
- Mousavi, Mohammad Reza
- Lochau, Malte
- Universitäts- und Landesbibliothek
Time of origin
- 2020
Other Objects (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