Systems, methods and apparatus for implementation of formal specifications derived from informal requirements
You are here
| Title | Systems, methods and apparatus for implementation of formal specifications derived from informal requirements |
| Publication Type | Patent |
| Year of Publication | 2009 |
| Authors | Hinchey M, Rash J.L, Erickson JD, Gracanin D, Rouff C |
| Patent Version Number | # 7,739,671 |
| Date Published | 2009 |
| Country | USA |
| URL | https://sharepoint.lero.ie/Publications/Patents/pat7739671.pdf |
