Synthesising Modal Transition Systems from Triggered Scenarios

German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Volume 39, Number 7, page 975--1001 - jul 2013
Download the publication : Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf [674Ko]  

BibTex references

@Article\{SBUK13,
  author       = "Sibay, German and Braberman, V\'{\i}ctor and Uchitel, Sebastian and Kramer, Jeff",
  title        = "Synthesising Modal Transition Systems from Triggered Scenarios",
  journal      = "IEEE TRANSACTIONS ON SOFTWARE ENGINEERING",
  number       = "7",
  volume       = "39",
  pages        = "975--1001",
  month        = "jul",
  year         = "2013",
  publisher    = "IEEE",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/SBUK13"
}

Other publications in the database

» German Sibay
» Víctor Braberman
» Sebastian Uchitel
» Jeff Kramer