Verifying and validating autonomous systems: Towards an integrated approach

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	International Conference on Runtime Verification
Subtitle of host publication	RV 2018: Runtime Verification
DOIs	https://doi.org/10.1007/978-3-030-03769-7_15
Publication status	Published - 2019

Access to Document

@inproceedings{c2971baf56c14b5caf7105b38e3ce098,

title = "Verifying and validating autonomous systems: Towards an integrated approach",

author = "A. Ferrando and L.A. Dennis and D. Ancona and M. Fisher and V. Mascardi",

year = "2019",

doi = "10.1007/978-3-030-03769-7\_15",

language = "English",

booktitle = "International Conference on Runtime Verification",

}

TY - GEN

T1 - Verifying and validating autonomous systems: Towards an integrated approach

AU - Ferrando, A.

AU - Dennis, L.A.

AU - Ancona, D.

AU - Fisher, M.

AU - Mascardi, V.

PY - 2019

Y1 - 2019

UR - https://www.scopus.com/pages/publications/85068391836

U2 - 10.1007/978-3-030-03769-7_15

DO - 10.1007/978-3-030-03769-7_15

M3 - Conference contribution

BT - International Conference on Runtime Verification

ER -