Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata

October 15, 2017 in by

by Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
Reference:
Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen. Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. In Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVOCS’13). Volume 10 of Electronic Communications of the EASST. EASST, September 2013.
Bibtex Entry:
@string{sep="September"}
@inproceedings{avocs2013-DLLP,
  address =       {Guildford, UK},
  author =        {David, Alexandre and Larsen, Kim G. and Legay, Axel and
                   Poulsen, Danny B{o}gsted},
  booktitle =     {{P}roceedings of the 13th {I}nternational {W}orkshop
                   on {A}utomated {V}erification of {C}ritical {S}ystems
                   ({AVOCS}'13)},
  editor =        {Schneider, Steve and Treharne, Helen},
  month =         sep,
  publisher =     {EASST},
  series =        {Electronic Communications of the EASST},
  title =         {Statistical Model Checking of Dynamic Networks of
                   Stochastic Hybrid Automata},
  volume =        {10},
  year =          {2013},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  avocs2013-DLLP.pdf},
  category =      {othc},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {10},
}