| Document Date: 2013-10-30 13:20:15
Open Document File Size: 2,09 MBShare Result on Facebook
City Llano / / Company Computer Sciences / / Country Ireland / / Facility Computer Sciences Heriot-Watt University / Informatics University of Edinburgh AI4FM Meeting April / / IndustryTerm software requirements / / Organization School of Mathematical / Heriot-Watt University / Informatics University of Edinburgh AI4FM / Environmental Protection Agency / / Person Maria Teresa / / Product t10 / / Technology machine learning / animation / / URL http /
SocialTag |
Using Automated Theory Formation to Discover Invariants of Event-B models Maria Teresa Llano1 Andrew Ireland1 Alison Pease2 Gudmund Grov2 1 School