Applying SMT-based verification to hardware/software partitioning in embedded systems
Crossref DOI link: https://doi.org/10.1007/s10617-015-9163-z
Published Online: 2015-04-22
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Trindade, Alessandro B. http://orcid.org/0000-0001-8262-2919
Cordeiro, Lucas C.
Text and Data Mining valid from 2015-04-22