Monografie
Runtime verification of railway applications with extended live sequence charts
- Ausgabe
-
[1. Auflage]
- Sprache
-
Englisch
- Umfang
-
viii, 153 Seiten
- ISBN
-
978-3-8440-4333-4
- Identifier
-
1085150607
- Reihe
-
Berichte aus der Informatik
Thema
Zugsicherung ; Laufzeitsystem ; Verifikation ; Live Sequence Chart ; Erweiterung ; Mehrwertige Logik ; Unsicherheit ; ETCS ; Handover ; Benchmark ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:47 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Randomized algorithms aided analysis and design of model-based fault detection systems
InstRO: a component-based toolbox for performance instrumentation = InstRO: eine Komponenten-basierte Werkzeugplattform für Performance Instrumentierungen
Concepts for enhancing correspondence vector field quality
Path predicate abstraction : for sound system-level modeling of digital circuits
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Exploration von Systemtests für die digitale Signalverarbeitung in Hörgeräten
Combined assessment of interconnect and equalization in data links on multilayer printed circuit boards
In-network processing algorithms for cooperative networks
Detailed visual person analysis based on attribrute models learned from data
Causes of the bullwhip effect : a systematic review and an empirical investigation of the role of holistic versus analytic thinking orientation
Preserving privacy in distributed energy management
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Randomized algorithms aided analysis and design of model-based fault detection systems
InstRO: a component-based toolbox for performance instrumentation = InstRO: eine Komponenten-basierte Werkzeugplattform für Performance Instrumentierungen
Concepts for enhancing correspondence vector field quality
Path predicate abstraction : for sound system-level modeling of digital circuits
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Exploration von Systemtests für die digitale Signalverarbeitung in Hörgeräten
Combined assessment of interconnect and equalization in data links on multilayer printed circuit boards
In-network processing algorithms for cooperative networks
Detailed visual person analysis based on attribrute models learned from data
Causes of the bullwhip effect : a systematic review and an empirical investigation of the role of holistic versus analytic thinking orientation
Preserving privacy in distributed energy management
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Randomized algorithms aided analysis and design of model-based fault detection systems
InstRO: a component-based toolbox for performance instrumentation = InstRO: eine Komponenten-basierte Werkzeugplattform für Performance Instrumentierungen
Concepts for enhancing correspondence vector field quality
Path predicate abstraction : for sound system-level modeling of digital circuits
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Exploration von Systemtests für die digitale Signalverarbeitung in Hörgeräten
Combined assessment of interconnect and equalization in data links on multilayer printed circuit boards
In-network processing algorithms for cooperative networks
Detailed visual person analysis based on attribrute models learned from data
Causes of the bullwhip effect : a systematic review and an empirical investigation of the role of holistic versus analytic thinking orientation