Supporting Verification-Driven Incremental Distributed Design of Components
Crossref DOI link: https://doi.org/10.1007/978-3-319-89363-1_10
Published Online: 2018-04-04
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Menghi, Claudio http://orcid.org/0000-0001-5303-8481
Spoletini, Paola http://orcid.org/0000-0001-7922-4936
Chechik, Marsha http://orcid.org/0000-0002-6301-3517
Ghezzi, Carlo http://orcid.org/0000-0002-7234-5011
License valid from 2018-01-01