B
[BBJ+14] Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen et Thomas Noll. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. In ISoLA'14, Lecture Notes in Computer Science 8803, pages 177-192. Springer-Verlag, octobre 2014. 
@inproceedings{BBJKNN-isola2014,
  author =              {Bohlender, Dimitri and Bruintjes, Harold and Junges,
                         Sebastian and Katelaan, Jens and Nguyen, Viet Yen
                         and Noll, Thomas},
  title =               {A~Review of Statistical Model Checking Pitfalls on
                         Real-Time Stochastic Models},
  editor =              {Margaria, Tiziana and Steffen, Bernhard},
  booktitle =           {{P}roceedings of the 6th {I}nternational {S}ymposium
                         on {L}everaging {A}pplications of {F}ormal
                         {M}ethods, {V}erification and {V}alidation
                         ({IS}o{LA}'14)~-- {P}art~{II}: {S}pecialized
                         {T}echniques and {A}pplications},
  acronym =             {{IS}o{LA}'14},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {8803},
  pages =               {177-192},
  year =                {2014},
  month =               oct,
  doi =                 {10.1007/978-3-662-45231-8_13},
}
Liste des auteurs