Login
- Autor(en):
- DeCastro, J.; Ehlers, R.; Rungger, M.; Balkan, A.; Kress-Gazit, H.
- Titel:
- Automated generation of dynamics-based runtime certificates for high-level control
- Zeitschriftentitel:
- Discrete Event Dynamic Systems
- Jahr:
- 2017
- Band / Volume:
- 27
- Heft / Issue:
- 2
- Seitenangaben Beitrag:
- 371--405
- Volltext / DOI:
- doi:10.1007/s10626-016-0232-7
- Verlag / Institution:
- Springer
BibTeX