fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Statechart

Export list as BibTeX file

2019

  • January 2019 Structure and behavior preserving statecharts refinements Eugene Syriani, Vasco Sousa and Levi Lúcio Science of Computer Programming, 170():49–79, January 2019. Details DOI BIB