The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive system.
☆10Mar 18, 2022Updated 4 years ago
Alternatives and similar repositories for mobstr-dataset
Users that are interested in mobstr-dataset are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is accompanying data for the paper "A Functional Safety Assessment Method for Cooperative Automotive Architecture" - https://arxiv.o…☆14May 2, 2021Updated 5 years ago
- MATLAB Simulink Based Fault Tree Analyzer☆10Mar 12, 2024Updated 2 years ago
- ☆11Apr 23, 2021Updated 5 years ago
- A repository containing a collection of Java practice problems focused on the usage of the Collections framework in Java 8. These problem…☆19Jul 23, 2024Updated 2 years ago
- ☆14Apr 23, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Using OpenAI API with Google Gemini Flash 2.0☆12Mar 10, 2025Updated last year
- Interesting papers☆11Jun 22, 2024Updated 2 years ago
- ☆10Oct 28, 2020Updated 5 years ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Apr 3, 2024Updated 2 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆28Updated this week
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆18Feb 19, 2025Updated last year
- Golang Product App For "Golang In One Video" on "Yazılım Bilimi" Youtube Channel☆18Dec 2, 2023Updated 2 years ago
- Multi module project using Maven and Java Spring Boot☆17Oct 9, 2023Updated 2 years ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Jun 14, 2025Updated last year
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 6 months ago
- Automated Question-Answering Over Knowledge Graphs in O&M of Wind Turbines☆14Aug 16, 2022Updated 4 years ago
- conversation telegram bot☆10Dec 26, 2019Updated 6 years ago
- Credit finance application☆23Aug 8, 2024Updated 2 years ago
- clock_plot provides a simple way to visualize timeseries data, mapping 24 hours onto the 360 degrees of a polar plot☆15Apr 5, 2022Updated 4 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆21Nov 2, 2023Updated 2 years ago
- 무엇을 도와드릴까요의 시대는 지났다. 전화 없는 작업을 꿈꾸며 만든 업무 종합 처리 웹사이트.☆12Oct 30, 2020Updated 5 years ago
- AGX Dynamics for Unreal plugin.☆13Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Performance-optimized container images for building Nordic nRF Connect SDK applications.☆14Aug 26, 2026Updated last week
- Python package for Simulink-based reinforcement learning environments.☆11Aug 20, 2021Updated 5 years ago
- ISO 26262 Functional Safety Documents☆54Jul 1, 2018Updated 8 years ago
- [deprecated] Engine Agnostic Gym Environment for Robotics☆17Feb 10, 2022Updated 4 years ago
- [NeurIPS 23] Characterizing OOD Error via Optimal Transport☆13Nov 19, 2023Updated 2 years ago
- A C++ RDP implement, base RDPY☆17Jun 2, 2024Updated 2 years ago
- ☆13Nov 16, 2021Updated 4 years ago
- Adaptive stress testing of black-box systems within POMDPs.jl☆17Feb 6, 2024Updated 2 years ago
- Source code for EPA’s annual air trends report on air quality, emissions and visibility trends.☆17Feb 20, 2026Updated 6 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Algorithms to find the best rational approximation to a given floating-point number and to find the gcd and lcm of a given list of floati…☆20Mar 31, 2024Updated 2 years ago
- ThorFI: A Novel Approach for Network Fault Injection as a Service☆10Mar 1, 2022Updated 4 years ago
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- Experimental toolbox for quantum Shapley values.☆11Jan 2, 2024Updated 2 years ago
- d-EVD-dual-electric-vehicle-dataset☆14Apr 24, 2026Updated 4 months ago
- Gezinti esnasında anlamını bilmediğiniz terimleri öğrenmenizi sağlayan Google Chrome eklentisidir.☆14Sep 3, 2016Updated 10 years ago
- Discrete Event Simulator for Rust Implementations☆20Feb 17, 2026Updated 6 months ago