Browsing by Author LEWIS Phil
Showing results 1 to 1 of 1
| Publication Year | JRC N° | Title | Author(s), Editor(s), Other Contributor(s) | Publication Type |
|---|---|---|---|---|
| 2007 | JRC36955 | The RAMI On-line Model Checker (ROMC) | WIDLOWSKI JEAN-LUC; ROBUSTELLI MONICA; DISNEY Mathias; GASTELLU-ETCHEGORRY Jean-Philippe; LAVERGNE Thomas; LEWIS Phil; MARTIN Emmanuel; NORTH Peter; TABERNER MALCOLM; PINTY BERNARD, et al | Contributions to Conferences |