Crossmark

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases

Crossref DOI link: https://doi.org/10.1007/978-3-031-76554-4_6

Published Online: 2024-11-13

Published Print: 2025

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Murphy, Logan

Viger, Torin

Sandro, Alessio Di

Chechik, Marsha
License Information

Text and Data Mining valid from 2024-11-13

Version of Record valid from 2024-11-13

Text and Data Mining valid from 2024-11-13

Version of Record valid from 2024-11-13
More Information

Chapter History

First Online: 13 November 2024

Conference Information

Conference Acronym: IFM

Conference Name: International Conference on Integrated Formal Methods

Conference City: Manchester

Conference Country: United Kingdom

Conference Year: 2024

Conference Start Date: 11 November 2024

Conference End Date: 15 November 2024

Conference Number: 19

Conference ID: ifm2024

Conference URL: https://ifm2024.cs.manchester.ac.uk/