<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-08-28 10:38:36UML diagrams Unified Modeling Language Infographics Science Software engineering State diagram Finite-state machine European Train Control System Petri net Diagrams Models of computation Statistics |
Add to Reading List |
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
