Validation of a Real-Time Geometry-Based Stochastic Channel Model for Vehicular Scenarios
Project: ENABLE-S3
Updated at: 29-04-2024
Resources
5625 items found
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Project: ENABLE-S3
Updated at: 29-04-2024
Benchmarking and Functional Decomposition of Automotive Lidar Sensor Models
Project: ENABLE-S3
Updated at: 29-04-2024
Safety-Critical Control for Non-affine Nonlinear Systems with Application on Autonomous Vehicle
Project: ENABLE-S3
Updated at: 29-04-2024
Using Traffic Sequence Charts at the Development of HAVs
Project: ENABLE-S3
Updated at: 29-04-2024
Model management tools for models of different domains: a systematic literature review
Project: ENABLE-S3
Updated at: 29-04-2024
Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis
Project: ENABLE-S3
Updated at: 29-04-2024
Formal model validation through acceptance tests
Project: ENABLE-S3
Updated at: 29-04-2024
Mutation-Based Test-Case Generation with Ecdar
Project: ENABLE-S3
Updated at: 29-04-2024
Functional discretization of space using Gaussian processes for road intersection crossing
Project: ENABLE-S3
Updated at: 29-04-2024
Direction-of-Arrival Estimation Using an ESPAR Antenna with Simplified Beam Steering
Project: ENABLE-S3
Updated at: 29-04-2024
Improved jamming resistance using electronically steerable parasitic antenna radiator
Project: ENABLE-S3
Updated at: 29-04-2024
Dynamic reconfiguration under RTEMS for fault mitigation and functional adaptation in SRAM-based SoPCs for space systems
Project: ENABLE-S3
Updated at: 29-04-2024
Classification of drivers manoeuvre for road intersection crossing with synthethic and real data
Project: ENABLE-S3
Updated at: 29-04-2024
Behaviour-Driven Formal Model Development
Project: ENABLE-S3
Updated at: 29-04-2024
Simulation-Based Testing Framework for Autonomous Driving Development
Project: ENABLE-S3
Updated at: 29-04-2024
Model-Based Mutation Testing of Real-Time Systems via Model Checking
Project: ENABLE-S3
Updated at: 29-04-2024
Reusing Formal Models via Lifting
Project: ENABLE-S3
Updated at: 29-04-2024
A Hardware-Friendly Algorithm for the On-Board Compression of Hyperspectral Images
Project: ENABLE-S3
Updated at: 29-04-2024
Hyperspectral Image Lossy Compression on a Reconfigurable and Fault-Tolerant Architecture Implemented over a COTS FPGA-B...
Project: ENABLE-S3
Updated at: 29-04-2024
Using Traffic Sequence Charts for the Development of HAVs
Project: ENABLE-S3
Updated at: 29-04-2024
Measurements revealing Challenges in Radar Sensor Modeling for Virtual Validation of Autonomous Driving
Project: ENABLE-S3
Updated at: 29-04-2024
Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking
Project: ENABLE-S3
Updated at: 29-04-2024
Class-Diagrams for Abstract Data Types
Project: ENABLE-S3
Updated at: 29-04-2024
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
Project: ENABLE-S3
Updated at: 29-04-2024
A Composition Mechanism for Refinement-Based Methods
Project: ENABLE-S3
Updated at: 29-04-2024
Frequency dividers in radar target stimulator applications
Project: ENABLE-S3
Updated at: 29-04-2024
Formal Model Validation Through Acceptance Tests
Project: ENABLE-S3
Updated at: 29-04-2024
A Runtime-Scalable and Hardware-Accelerated Approach to On-Board Linear Unmixing of Hyperspectral Images
Project: ENABLE-S3
Updated at: 29-04-2024
Environment perception simulation for radar stimulation in automated driving function testing
Project: ENABLE-S3
Updated at: 29-04-2024