-
1دورية أكاديمية
المؤلفون: Coraiola, A., Sturani, B.
المصدر: IEEE Antennas and Propagation Magazine IEEE Antennas Propag. Mag. Antennas and Propagation Magazine, IEEE. 42(5):40-47 Oct, 2000
-
2
المؤلفون: 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 -
3
المؤلفون: 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