Search-Based Temporal Testing in an Embedded Multicore Platform
Crossref DOI link: https://doi.org/10.1007/978-3-319-77538-8_53
Published Online: 2018-03-08
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Srivisut, Komsan https://orcid.org/0000-0002-2620-930X
Clark, John A. https://orcid.org/0000-0002-9230-9739
Paige, Richard F. https://orcid.org/0000-0002-1978-9852
License valid from 2018-01-01