Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Sprache: | Englisch |
| Veröffentlicht: |
Zenodo
2023
|
| Online-Zugang: | https://doi.org/10.5281/zenodo.6373637 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- <p>Software accompanying the doctoral thesis "Safety Verification of Real-Time Control Systems with Flexible Timing", published 2023.</p>