Tarciana Dias da Silva

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 1

Top Topics

Ubiquitous Computing

Test Case Generation

Portable Devices

Top Venues

Publications

Luciana Pereira Oliveira, Cinaglia Adagles Silva, Djamel Fawzi Hadj Sadok, Tarciana Dias da Silva, Auristela Silva, Judith Kelner
BAIN: Bluetooth Adaption for IoT Device. AINA (1) (2023)
Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota
Verifying Transformations of Java Programs Using Alloy. SBMF (2015)