By the same authors

Evolution of Formal Model-based Assurance Cases for Autonomous Robots

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

Standard

Evolution of Formal Model-based Assurance Cases for Autonomous Robots. / Gleirscher, Mario; Foster, Simon David; Nemouchi, Yakoub.

Software Engineering and Formal Methods. Springer, 2019. p. 87-104 (Lecture Notes in Computer Science; Vol. 11724).

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

Harvard

Gleirscher, M, Foster, SD & Nemouchi, Y 2019, Evolution of Formal Model-based Assurance Cases for Autonomous Robots. in Software Engineering and Formal Methods. Lecture Notes in Computer Science, vol. 11724, Springer, pp. 87-104, Software Engineering and Formal Methods, Oslo, Norway, 16/09/19. https://doi.org/10.1007/978-3-030-30446-1_5

APA

Gleirscher, M., Foster, S. D., & Nemouchi, Y. (2019). Evolution of Formal Model-based Assurance Cases for Autonomous Robots. In Software Engineering and Formal Methods (pp. 87-104). (Lecture Notes in Computer Science; Vol. 11724). Springer. https://doi.org/10.1007/978-3-030-30446-1_5

Vancouver

Gleirscher M, Foster SD, Nemouchi Y. Evolution of Formal Model-based Assurance Cases for Autonomous Robots. In Software Engineering and Formal Methods. Springer. 2019. p. 87-104. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-30446-1_5

Author

Gleirscher, Mario ; Foster, Simon David ; Nemouchi, Yakoub. / Evolution of Formal Model-based Assurance Cases for Autonomous Robots. Software Engineering and Formal Methods. Springer, 2019. pp. 87-104 (Lecture Notes in Computer Science).

Bibtex - Download

@inbook{5b26219d860a48208b3218eebad08616,
title = "Evolution of Formal Model-based Assurance Cases for Autonomous Robots",
keywords = "assurance case, formal verification, refinement, autonomous robot, integrated formal method, model-based engineering",
author = "Mario Gleirscher and Foster, {Simon David} and Yakoub Nemouchi",
year = "2019",
month = "9",
day = "9",
doi = "10.1007/978-3-030-30446-1_5",
language = "English",
isbn = "9783030304454",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "87--104",
booktitle = "Software Engineering and Formal Methods",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - Evolution of Formal Model-based Assurance Cases for Autonomous Robots

AU - Gleirscher, Mario

AU - Foster, Simon David

AU - Nemouchi, Yakoub

PY - 2019/9/9

Y1 - 2019/9/9

KW - assurance case

KW - formal verification

KW - refinement

KW - autonomous robot

KW - integrated formal method

KW - model-based engineering

U2 - 10.1007/978-3-030-30446-1_5

DO - 10.1007/978-3-030-30446-1_5

M3 - Chapter (peer-reviewed)

SN - 9783030304454

SN - 9783030304461

T3 - Lecture Notes in Computer Science

SP - 87

EP - 104

BT - Software Engineering and Formal Methods

PB - Springer

ER -