Model-based verification of embedded software
You are here
| Title | Model-based verification of embedded software |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Shokry H, Hinchey M |
| Journal | IEEE Computer |
| Volume | 42 |
| Date Published | 2009 |
| URL | http://ulir.ul.ie/handle/10344/1148 |
