Jose Claudio Vieira S. Junior, Alisson V. Brito, Luis Feliphe S. Costa, Tiago Pereira do Nascimento, Elmar Uwe Kurt Melcher. Testing real-time embedded systems using high level architecture. Design Autom. for Emb. Sys., 20(4):289-309, 2016. [doi]
@article{JuniorBCNM16, title = {Testing real-time embedded systems using high level architecture}, author = {Jose Claudio Vieira S. Junior and Alisson V. Brito and Luis Feliphe S. Costa and Tiago Pereira do Nascimento and Elmar Uwe Kurt Melcher}, year = {2016}, doi = {10.1007/s10617-016-9178-0}, url = {http://dx.doi.org/10.1007/s10617-016-9178-0}, researchr = {https://researchr.org/publication/JuniorBCNM16}, cites = {0}, citedby = {0}, journal = {Design Autom. for Emb. Sys.}, volume = {20}, number = {4}, pages = {289-309}, }