| Translated title of the contribution | Recent Contributes to System Modelling and Analysis |
|---|---|
| Original language | English |
| Title of host publication | Proceeding 9th Safety-Critical Systems Symposium |
| Pages | 155 - 174 |
| Publication status | Published - 2001 |
Recent Contributes to System Modelling and Analysis
G Hughes, JHR May
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
16
Citations
(Scopus)