Crossmark

A formal component model for UML based on CSP aiming at compositional verification

Crossref DOI link: https://doi.org/10.1007/s10270-023-01127-z

Published Online: 2023-10-04

Published Print: 2024-06

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

Authors

Falcão, Flávia https://orcid.org/0000-0002-0828-1412
Lima, Lucas https://orcid.org/0000-0003-1859-8437
Sampaio, Augusto https://orcid.org/0000-0001-6593-577X
Antonino, Pedro https://orcid.org/0000-0002-5627-0910
License Information

Text and Data Mining valid from 2023-10-04

Version of Record valid from 2023-10-04
More Information

Article History

Received: 4 March 2022

Revised: 28 March 2023

Accepted: 18 August 2023

First Online: 4 October 2023