Johnny L. da Silva

Learn More
Hormone-independent tumor growth and metastasis are associated with increased mortality in human prostate cancer. In this study, we evaluate a potential role for ligand-mediated activation of HER2 receptor tyrosine kinase in androgen-independent prostate cancers. HER2, HER3, and epidermal growth factor receptor were detected in the androgen-independent cell(More)
It is widely known that errors discovered in advanced stages of a project are expensive to fix. Therefore, it is important to look for errors as soon as possible within the design cycle. This work addresses the early verification of embedded and real-time systems based on testing the behavior specified in the high-level specifications. A tool to automate(More)
  • 1