A Toolsuite for the Verification of RealTime Systems in Eclipse

Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik
ETX 2006: OOPSLA workshop on eclipse Technology eXchange, page (in press) - 2006
Download the publication : cdf_etx-2006.pdf [1.1Mo]  

BibTex references

@InProceedings\{CDFBGKOS06,
  author       = "Cavatorta, Luc\'{\i}a and de Caso, Guido and Ferrari, Andr\'es and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Kicillof, Nicolas and Olivero, Alfredo and Schapachnik, Fernando",
  title        = "A Toolsuite for the Verification of RealTime Systems in Eclipse",
  booktitle    = "ETX 2006: OOPSLA workshop on eclipse Technology eXchange",
  pages        = "(in press)",
  year         = "2006",
  publisher    = "ACM",
  organization = "ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2006/CDFBGKOS06"
}

Other publications in the database

» Guido de Caso
» Andrés Ferrari
» Víctor Braberman
» Diego Garbervetsky
» Nicolas Kicillof
» Alfredo Olivero
» Fernando Schapachnik