Specification and automated verification of atomic concurrent real-time transactions
Crossref DOI link: https://doi.org/10.1007/s10270-020-00819-0
Published Online: 2020-07-29
Published Print: 2021-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina
Funding for this research was provided by:
Mälardalen University
Text and Data Mining valid from 2020-07-29
Version of Record valid from 2020-07-29
Article History
Received: 5 September 2019
Revised: 13 April 2020
Accepted: 7 July 2020
First Online: 29 July 2020