-
1
المؤلفون: Belli D., Fantechi A., Gnesi S., Masullo L., Mazzanti F., Pistilli G., Quadrini L., Trentini D., Vaghi C.
المصدر: Transport Research Arena (TRA) Conference, Lisbon, Portugal, 13-14/11/2022
مصطلحات موضوعية: Requirements analysis, Signallling systems, Formal methods, Standard interfaces, 4securail
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::4649d5c609e78477658bcdcef7b7d2f2
https://openportal.isti.cnr.it/doc?id=people______::8e1a740ac10b66042af4f30812531d2d -
2
المؤلفون: Mazzanti F., Basile D., Fantechi A., Gnesi S., Ferrari A., Piattino A., Masullo L., Trentini D.
المصدر: Project Report, 4SECURail, D2.1, 2020
مصطلحات موضوعية: formal methods, demonstrator, railway, 4securail, infrastructure manager
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e2afcbcf1f8ac72d8197920b3538e262
https://openportal.isti.cnr.it/doc?id=people______::e2afcbcf1f8ac72d8197920b3538e262 -
3
المؤلفون: Ferrari A., Mazzanti F., Basile D., Fantechi A., Gnesi S., Trentini D., Piattino A., Sturani B.
المصدر: Project report, ASTRail, Deliverable D4.3, 2019
مصطلحات موضوعية: Uppaal, Pro-B, Formal methods, Simulink, Case study, Stateflow
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7b971b50445c9d84d0588ecf7d39afe0
https://openportal.isti.cnr.it/doc?id=people______::7b971b50445c9d84d0588ecf7d39afe0 -
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
المؤلفون: Ferrari A., Basile D., Mazzanti F., Fantechi A., Gnesi S., Piattino A., Trentini D.
المصدر: Project report, ASTRail, Deliverable D4.2, 2018
مصطلحات موضوعية: formal methods diversity, formal methods, empirical formal methods, multiple formal methods, trial report
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3e3092f87f715f007ae27b74a0db577
http://www.cnr.it/prodotto/i/423096 -
6
المؤلفون: Ferrari A., ter Beek M.H., Mazzanti F., Basile D., Fantechi A., Gnesi S., Piattino A., Sturani B., Trentini D.
المصدر: Project report, ASTRail, Deliverable D4.1, 2018
مصطلحات موضوعية: Model-based development, Formal methods, Railway, Survey
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f414a277a665d40a69a5095376967600
https://openportal.isti.cnr.it/doc?id=people______::f414a277a665d40a69a5095376967600 -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.