The Design Methodology for a verification of a hybrid system
You are here
| Title | The Design Methodology for a verification of a hybrid system |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Pluska M, Sinclair D |
| Conference Name | 9th IEEE International Conference on Cybernetics Intelligent Systems9th IEEE International Conference on Cybernetics Intelligent Systems |
| Date Published | 2010 |
| Conference Location | University of Reading, UK |
| URL | http://hdl.handle.net/10344/1794 |
