Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
Crossref DOI link: https://doi.org/10.1007/s00165-017-0422-6
Published Print: 2017-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nazarpour, Hosein
Falcone, Yliès
Bensalem, Saddek
Bozga, Marius
Funding for this research was provided by:
European Cooperation in Science and Technology (IC 1402)
License valid from 2017-11-01