المؤلفون: Nenzi, L., Bartocci, E., Bortolussi, L., Loreti, M.

المصدر: Logical Methods in Computer Science, Volume 18, Issue 1 (January 7, 2022) lmcs:7505

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2105.11400

المؤلفون: Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.

المصدر: Logical Methods in Computer Science, Volume 14, Issue 4, Modal and temporal logics (October 23, 2018) lmcs:3774

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

URL الوصول: http://arxiv.org/abs/1706.09334

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.

المساهمون: Nenzi, Laura, Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, Massink, Mieke

المصدر: Logical Methods in Computer Science 14 (2018): 1–38. doi:10.23638/LMCS-14(4:2)2018
info:cnr-pdr/source/autori:Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M./titolo:Qualitative and quantitative monitoring of spatio-temporal properties with SSTL/doi:10.23638%2FLMCS-14(4:2)2018/rivista:Logical Methods in Computer Science/anno:2018/pagina_da:1/pagina_a:38/intervallo_pagine:1–38/volume:14

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, bike-sharing system, Monitoring, Real-Time Verification, Spatio-Temporal Logic, Turing Reaction-Diffusion system, Statistical Model Checking, 0102 computer and information sciences, 02 engineering and technology, Monitoring Algorithms, Bike Sharing, 01 natural sciences, Logic in Computer Science (cs.LO), 010201 computation theory & mathematics, Signal Temporal Logic, Quantitative Semantics, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, F.4.1, 020201 artificial intelligence & image processing, Turing Pattern

وصف الملف: ELETTRONICO; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca8f8dbc939bd3c18c97e70bf92d7283

المؤلفون: Ciancia V., Latella D., Massink M., Nenzi L., Tribastone M., Vandin A.

المصدر: Project report, QUANTICOL, Deliverable D5.3, 2017

مصطلحات موضوعية: Formal analysis, Deterministic approximation, Software tools, Collective Adaptive Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3644514978fcfc8189f5e978d8db31c
http://www.cnr.it/prodotto/i/384715

المؤلفون: Bortolussi L., Ciancia V., Gilmore S., Hillston J., Latella D., Loreti M., Massink M., Nenzi L., Paskauskas R., Tribastone M., Tschaikowski M.

المصدر: ISTI Technical reports, 2016

مصطلحات موضوعية: Spatial logics, Stochastic logics, Specifying and verifying and reasoning about programs

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33

المؤلفون: Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M.

المصدر: ISTI Technical reports, 2015

مصطلحات موضوعية: Spatial logics, Computer Science::Logic in Computer Science, Specifying and verifying and reasoning about programs

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e477d0566c23adbc484425a3def15700
https://openportal.isti.cnr.it/doc?id=people______::e477d0566c23adbc484425a3def15700

المؤلفون: Galpin V., Bortolussi L., Ciancia V., Clark A., De Nicola R., Feng C., Gilmore S., Gast N., Hillston J., Lluch-Lafuente A., Loreti M., Massink M., Nenzi L., Reijsbergen D., Senni V., Tiezzi F., Tribastone M., Tschaikowski M.

المصدر: Project report, QUANTICOL, Deliverable D2.1, 2014

مصطلحات موضوعية: Specifying and Verifying and Reasoning about Programs, Collective Adaptive Systems, Spatial Information

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::336f5c0635d50901879359157354aee2
http://www.cnr.it/prodotto/i/362768

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.