VTS-based Specification and Verification of Behavioral Properties of AADL Models

Daniel Monteverde, Alfredo Olivero, Sergio Yovine, Víctor Braberman
Model Based Architecting and Construction of Embedded Systems - dic 2008
Download the publication : VTS.pdf [994Ko]  

BibTex references

@InProceedings\{MOYB08,
  author       = "Monteverde, Daniel and Olivero, Alfredo and Yovine, Sergio and Braberman, V\'{\i}ctor",
  title        = "VTS-based Specification and Verification of Behavioral Properties of AADL Models",
  booktitle    = "Model Based Architecting and Construction of Embedded Systems",
  month        = "dic",
  year         = "2008",
  organization = "ArtistDesign European Network of Excellence on Embedded Systems Design ",
  note         = "Toulouse, Francia",
  url          = "http://publicaciones.dc.uba.ar/Publications/2008/MOYB08"
}

Other publications in the database

» Daniel Monteverde
» Alfredo Olivero
» Sergio Yovine
» Víctor Braberman