TitleIntegration and Promotion of Autonomy with the ARE Framework
Publication TypeConference Paper
Year of Publication2016
AuthorsVassev E, Hinchey M
EditorMargaria T, Steffen B
Conference NameLeveraging 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 Published2016
PublisherSpringer International Publishing
Conference LocationCham
ISBN Number978-3-319-47166-2
URLhttp://dx.doi.org/10.1007/978-3-319-47166-2_48