-
1تقرير
المؤلفون: 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
-
2تقرير
المؤلفون: 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
-
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4
المؤلفون: 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
-
5
المؤلفون: 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 -
6
المؤلفون: 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 -
7
المؤلفون: 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 -
8
المؤلفون: 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 -
9كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.