Login / Signup
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.
Sara Abbaspour Asadollah
Daniel Sundmark
Sigrid Eldh
Hans Hansson
Published in:
ISPDC (2018)
Keyphrases
</>
embedded software
software architecture
sequence diagrams
embedded systems
software systems
database systems
source code
development projects
information systems
case study