To access the full text documents, please follow this link: http://hdl.handle.net/2117/100199
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Beek, Maurice ter |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Kleijn, Jetty |
dc.date | 2016 |
dc.identifier.citation | Beek, M., Carmona, J., Kleijn, J. Conditions for compatibility of components: The case of masters and slaves. A: International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. "Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings". Corfu: Springer, 2016, p. 784-805. |
dc.identifier.citation | 978-3-319-47166-2 |
dc.identifier.citation | 10.1007/978-3-319-47166-2_55 |
dc.identifier.uri | http://hdl.handle.net/2117/100199 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Machine theory |
dc.subject | Automata theory |
dc.subject | Program verification |
dc.subject | Compatibility |
dc.subject | Reactive components |
dc.subject | Multicomponent systems |
dc.subject | Team automata |
dc.subject | Correctby |
dc.subject | Construction engineering |
dc.subject | Correct communications |
dc.subject | Synchronisation policy |
dc.subject | Master-slave synchronisations |
dc.subject | Màquines, Teoria de |
dc.title | Conditions for compatibility of components: The case of masters and slaves |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |