Login / Signup
Runtime Verification of AUTOSAR Timing Extensions.
Max Jonas Friese
Hannes Kallwies
Martin Leucker
Martin Sachenbacher
Hendrik Streichhahn
Daniel Thoma
Published in:
RTNS (2022)
Keyphrases
</>
asynchronous circuits
model checking
real world
real time
efficient implementation
default logic
formal verification
genetic algorithm
formal analysis
concurrent systems
false acceptance rate
temporal logic
image processing
artificial intelligence
face verification
java card
machine learning
high security