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)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationSoftware Engineering and Formal Methods
DateAccepted/In press - 26 Jun 2019
DatePublished (current) - 9 Sep 2019
Pages87-104
Number of pages18
PublisherSpringer
Original languageEnglish
ISBN (Print)9783030304454, 9783030304461

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11724

    Research areas

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

Projects

Discover related content

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

View graph of relations