Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of the International Workshop on the Design of Dependable Critical Systems |
| Editors | A Wagner |
| Place of Publication | Hamburg |
| Publisher | ECOMODIS |
| Pages | 1-8 |
| Number of pages | 8 |
| ISBN (Print) | 978-3-00-029877-6 |
| Publication status | Published - 2009 |
| Event | DDCS 2009 - Hamburg Duration: 15 Sep 2009 → 15 Sep 2009 |
Publication series
| Name | |
|---|---|
| Publisher | ECOMODIS |
Conference
| Conference | DDCS 2009 |
|---|---|
| Period | 15/09/09 → 15/09/09 |
- Conf.proc. > 3 pag
Research areas
ID: 2801936