By the same authors

Evolution of Formal Model-based Assurance Cases for Autonomous Robots

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Full text download(s)



Publication details

Title of host publicationSoftware Engineering and Formal Methods
DateAccepted/In press - 26 Jun 2019
DatePublished (current) - 2019
Original languageEnglish

Publication series

NameLecture Notes in Computer Science

    Research areas

  • assurance case, formal verification, refinement, autonomous robot, integrated formal method, model-based engineering

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations