The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 4 of 263
Back to Result List

Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Benno Bielmeier, Wolfgang MauererORCiDGND
URL / DOI:https://www.lfdr.de/Publications/2022/bielmeier_ossj22.pdf
URL / DOI:https://www.youtube.com/watch?v=w42ab8-CH1o
Parent Title (English):Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models
Document Type:conference proceeding (presentation, abstract)
Language:English
Year of first Publication:2023
Release Date:2023/10/31
Institutes:Fakultät Informatik und Mathematik
Fakultät Informatik und Mathematik / Labor für Digitalisierung (LFD)
research focus:Digitalisierung