An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts (bibtex)
by Alevtina B. Glonina, Igor Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin
Reference:
An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statechartsAlevtina B. Glonina, Igor Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin2013, CAV Workshop VES13.
Bibtex Entry:
@Misc{GKPVZZ13,
  author =       {Alevtina B. Glonina and Igor Konnov and Vladislav V. Podymov
                  and Dmitry Yu. Volkanov and Vladimir A. Zakharov
                  and Daniil A. Zorin},
  title =        {An experience on using simulation environment DYANA
                  augmented with UPPAAL for verification of embedded systems
                  defined by UML statecharts},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTpages =     {},
  year =         {2013},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  howpublished ={CAV Workshop {VES13}},
  url = {http://forsyte.at/wp-content/uploads/ves13-gkpvzz.pdf},
  OPTannote =    {}
}
Powered by bibtexbrowser