Tássio Fernandes Costa

According to our database, Tássio Fernandes Costa authored at least 2 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Coloured Petri nets for abstract test generation in software engineering.

Alvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich

Softw. Test. Verification Reliab., March, 2023

2019

A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.

Tássio Fernandes Costa, Alvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich

Proceedings of the IECON 2019, 2019