Tiago Possato

According to our database, Tiago Possato authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Automated Code Generation for DES Controllers Modeled as Finite State Machines.

Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023