The design methodology for the verification of hybrid dynamical systems
You are here
| Title | The design methodology for the verification of hybrid dynamical systems |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Pluska M, Sinclair D |
| Conference Name | 10th IEEE International Conference on Cybernetic Intelligent Systems 201110th IEEE International Conference on Cybernetic Intelligent Systems 2011 |
| Date Published | 2011 |
| Conference Location | London, UK |
| URL | http://ulir.ul.ie/handle/10344/1891 |
