Crossmark

Synthesis of verifiable concurrent Java components from formal models

Crossref DOI link: https://doi.org/10.1007/s10270-017-0581-1

Published Online: 2017-02-13

Published Print: 2019-02

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

Authors

Mariño, Julio https://orcid.org/0000-0002-2665-7612
Alborodo, Raúl N. N. https://orcid.org/0000-0001-7688-1447
Fredlund, Lars-Åke https://orcid.org/0000-0002-8296-4609
Herranz, Ángel https://orcid.org/0000-0002-6433-5681
Funding

Funding for this research was provided by:

Consejo Superior de Investigaciones Científicas (StrongSoft - TIN2012-39391-C04-03)

Comunidad de Madrid (N-Greens Software - S2013/ICE-2731)
License Information

Text and Data Mining valid from 2017-02-13
More Information

Article History

Received: 20 March 2016

Revised: 4 January 2017

Accepted: 10 January 2017

First Online: 13 February 2017