المؤلفون: Enrico Tronci, Annalisa Massini, Igor Melatti, Federico Mari

مصطلحات موضوعية: 0209 industrial biotechnology, Process management, ComputerSystemsOrganization_COMPUTERSYSTEMIMPLEMENTATION, Computer science, Formal verification, Simulation based formal verification, Formal verification of cyber-physical systems, System-level formal verification, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, 02 engineering and technology, 020901 industrial engineering & automation, Artificial Intelligence, Simulation based formal verification, 0202 electrical engineering, electronic engineering, information engineering, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, skin and connective tissue diseases, Business performance management, System-level formal verification, business.industry, fungi, Constrained optimization, Sense (electronics), body regions, Formal verification, ComputingMethodologies_PATTERNRECOGNITION, Sense and respond, Formal verification of cyber-physical systems, Business intelligence, ComputingMilieux_COMPUTERSANDSOCIETY, 020201 artificial intelligence & image processing, business, Response system

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29eb45432fe206c4a4a7c09592b12389
http://hdl.handle.net/11573/1550780

المؤلفون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

المساهمون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

مصطلحات موضوعية: Formal verification, Simulation based formal verification, Formal verification of cyber-physical systems, System-level formal verification

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000632385700002; volume:120; firstpage:100640; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; https://hdl.handle.net/11573/1549368; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85099785572

الاتاحة: https://hdl.handle.net/11573/1549368
https://doi.org/10.1016/j.jlamp.2021.100640

المؤلفون: Mari F., Massini A., Melatti I., Tronci E.

المساهمون: Mari, F., Massini, A., Melatti, I., Tronci, E.

مصطلحات موضوعية: Formal verification, Simulation based formal verification, Formal verification of cyber-physical systems, System-level formal verification

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000621702600001; volume:35; issue:5; firstpage:353; lastpage:372; numberofpages:20; journal:APPLIED ARTIFICIAL INTELLIGENCE; info:eu-repo/grantAgreement/EC/FP7/317761; http://hdl.handle.net/11573/1550780; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85101605471

الاتاحة: http://hdl.handle.net/11573/1550780
https://doi.org/10.1080/08839514.2020.1843833

المؤلفون: Nazaria, Massimo

مصطلحات موضوعية: model based design, Settore INF/01 - Informatica, software verification, formal verification, simulation, simulation based formal verification, cyber-physical systems, complex systems, simulink

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3686::f7d27e16ca9393b482cc3a423bb4a6ef
http://hdl.handle.net/11573/1210079