Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Spatial Logics Model-checking"'
Publikováno v:
Logical Methods in Computer Science 12 (2016): 1–51. doi:10.2168/LMCS-12(4:2)2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Loreti M.; Massink M./titolo:Model checking spatial logics for closure spaces/doi:10.2168%2FLMCS-12(4:2)2016/rivista:Logical Methods in Computer Science/anno:2016/pagina_da:1/pagina_a:51/intervallo_pagine:1–51/volume:12
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Loreti M.; Massink M./titolo:Model checking spatial logics for closure spaces/doi:10.2168%2FLMCS-12(4:2)2016/rivista:Logical Methods in Computer Science/anno:2016/pagina_da:1/pagina_a:51/intervallo_pagine:1–51/volume:12
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69bb94acf109069a9c7465fb25ca333f
http://arxiv.org/abs/1609.06513
http://arxiv.org/abs/1609.06513
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
Prominent examples of collective systems are often encountered when analysing smart cities and smart transportation systems. We propose a novel modelling and analysis approach combining statistical model checking, spatio-temporal logics, and simulati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7403ff5f4d42b2decddc5fc9cc718d
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46