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…☆12May 2, 2021Updated 4 years ago
- ☆11Apr 23, 2021Updated 4 years ago
- A repository containing a collection of Java practice problems focused on the usage of the Collections framework in Java 8. These problem…☆17Jul 23, 2024Updated last year
- Using OpenAI API with Google Gemini Flash 2.0☆12Mar 10, 2025Updated last year
- Interesting papers☆11Jun 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆11Oct 28, 2020Updated 5 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…☆27Nov 14, 2025Updated 4 months ago
- ☆14Apr 23, 2024Updated last year
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated 2 months ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Apr 3, 2024Updated last year
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆17Feb 19, 2025Updated last year
- Twister Test Automation Framework☆42Jun 2, 2016Updated 9 years ago
- The Eclipse Mnestix AAS Browser enables you to easily get started with the AAS and browse through repositories☆83Mar 17, 2026Updated last week
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated 3 weeks ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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☆16Oct 9, 2023Updated 2 years ago
- Automated Question-Answering Over Knowledge Graphs in O&M of Wind Turbines☆12Aug 16, 2022Updated 3 years ago
- Credit finance application☆23Aug 8, 2024Updated last year
- clock_plot provides a simple way to visualize timeseries data, mapping 24 hours onto the 360 degrees of a polar plot☆15Apr 5, 2022Updated 3 years ago
- conversation telegram bot☆10Dec 26, 2019Updated 6 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆17Nov 2, 2023Updated 2 years ago
- 무엇을 도와드릴까요의 시대는 지났다. 전화 없는 작업을 꿈꾸며 만든 업무 종합 처리 웹사이트.☆12Oct 30, 2020Updated 5 years ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆15May 30, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Python package for Simulink-based reinforcement learning environments.☆11Aug 20, 2021Updated 4 years ago
- Performance-optimized container images for building Nordic nRF Connect SDK applications.☆14May 20, 2025Updated 10 months ago
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 7 months ago
- A C++ RDP implement, base RDPY☆16Jun 2, 2024Updated last year
- [NeurIPS 23] Characterizing OOD Error via Optimal Transport☆13Nov 19, 2023Updated 2 years ago
- [deprecated] Engine Agnostic Gym Environment for Robotics☆17Feb 10, 2022Updated 4 years ago
- ☆35Jul 30, 2023Updated 2 years ago
- ☆13Nov 16, 2021Updated 4 years ago
- Adaptive stress testing of black-box systems within POMDPs.jl☆16Feb 6, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Experimental toolbox for quantum Shapley values.☆10Jan 2, 2024Updated 2 years ago
- SILVER - Statistical Independence and Leakage Verification☆15Jun 6, 2025Updated 9 months ago
- Experiments from our work Uncertainty Quantification and Deep Ensemble☆10Nov 1, 2021Updated 4 years ago
- ISO 26262 Functional Safety Documents☆45Jul 1, 2018Updated 7 years ago
- Gezinti esnasında anlamını bilmediğiniz terimleri öğrenmenizi sağlayan Google Chrome eklentisidir.☆14Sep 3, 2016Updated 9 years ago
- The official PyTorch code for AAAI'23 Paper "Sparse Coding in a Dual Memory System for Lifelong Learning"☆12Feb 15, 2023Updated 3 years ago
- The repository that contains notes and information about the first session of Reading Stacks☆29Apr 30, 2024Updated last year