Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
Crossref DOI link: https://doi.org/10.1007/s11390-021-1673-5
Published Online: 2022-01-31
Published Print: 2022-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mouakher, Inès
Dhaou, Fatma
Attiogbé, J. Christian
Text and Data Mining valid from 2022-01-31
Version of Record valid from 2022-01-31
Article History
Received: 1 June 2021
Accepted: 16 November 2021
First Online: 31 January 2022