Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation
You are here
| Title | Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation |
| Publication Type | Patent |
| Year of Publication | 2010 |
| Authors | Hinchey M, Margaria T, Rash JL, Rouff C, Steffen B |
| Secondary Authors | Office USPatent |
| Patent Version Number | # 7,668,796 |
| Date Published | 2010 |
| Country | USA |
| URL | https://sharepoint.lero.ie/Publications/Patents/pat7668796.pdf |
