External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated Code Generation for DES Controllers Modeled as Finite State Machines

Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira. Automated Code Generation for DES Controllers Modeled as Finite State Machines. In Haniel Barbosa, Yoni Zohar, editors, Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings. Volume 14414 of Lecture Notes in Computer Science, pages 113-130, Springer, 2023. [doi]

Authors

Tiago Possato

This author has not been identified. Look up 'Tiago Possato' in Google

João H. Valentini

This author has not been identified. Look up 'João H. Valentini' in Google

Luiz Fernando Puttow Southier

This author has not been identified. Look up 'Luiz Fernando Puttow Southier' in Google

Marcelo Teixeira

This author has not been identified. Look up 'Marcelo Teixeira' in Google
runs on