Safety Verification of Real-Time Control Systems with Flexible Timing
Gaukler, Maximilian (Autor) ( FAU Studien aus der Elektrotechnik, Band 20 ) 2023 . xxv, 268 Seiten ISBN 13: 978-3-96147-637-4 Preis: 32,50 € Zugriff auf den Volltext über OPUS FAU: http://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/22768