Integration and Promotion of Autonomy with the ARE Framework
You are here
| Title | Integration and Promotion of Autonomy with the ARE Framework |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Vassev E, Hinchey M |
| Editor | Margaria T, Steffen B |
| Conference Name | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific |
| Date Published | 2016 |
| Publisher | Springer International Publishing |
| Conference Location | Cham |
| ISBN Number | 978-3-319-47166-2 |
| URL | http://dx.doi.org/10.1007/978-3-319-47166-2_48 |
