Details for the publication JansenH04.

David N. Jansen (), Holger Hermanns (): Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pages 250-259, 2004. DOI BIB