View Document Preview and Link Document Date: 2011-08-28 10:38:36 Open Document File Size: 262,79 KB Share Result on Facebook
City Bern / Boston / New York / Berlin / Los Alamitos / Open Object / / Company Dell / Fault-Tolerant Systems / Cambridge University Press / Object Management Group Inc. / ACM Press / Needham / / Country United Kingdom / / Currency USD / / / Facility University of Durham / / IndustryTerm software engineering / stochastic verification technology / embedded systems / wireless communication faults / trackside equipment / deep submicron technology / event systems / communication protocol / multiprocessor systems / Model-checking algorithms / activity networks / communications software / dependable systems / trackside data processing / stochastic timed systems / wireless communication failures / distributed processing symposium / computing / case model-checking algorithms / probabilistic systems / event dynamic systems / wireless communication / assessed using stochastic verification technology / / MusicGroup Smith / / NaturalFeature RBC channel / / Organization Cambridge University / IEEE / University of Durham / David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken / / Person David N. Jansen / Yaroslav Usenko / Formal Methods / Universiteit Twente / Formal Techniques / Holger Hermanns Universit / / Position guard / forward / model for the connection establishment delay / / ProgrammingLanguage C / / ProvinceOrState New York / California / / PublishedMedium IEEE Transactions on Software Engineering / Theoretical Computer Science / / Technology Model-checking algorithms / stochastic verification technology / Quality of Service / html / pdf / communication protocol / case model-checking algorithms / GSM / deep submicron technology / GSM protocol / simulation / be analysed using simulation / / URL http / SocialTag 
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de