OS-in-the-Loop verification for multi-tasking control software.

Published in: Softw. Test. Verification Reliab. (2023)

Keyphrases

multi tasking
control software
operating system
virtual machine
computer systems
control system
distributed systems
model checking
concurrent systems
windows xp
genetic algorithm
information systems
open source
cost effective
face verification
person identification