Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems.

Hosein Nazarpour Yliès Falcone Saddek Bensalem Marius Bozga

Published in: CoRR (2016)

Keyphrases

multi threaded
real time
computer systems
management system
computing systems
evolutionary algorithm
query processing
low cost