Support #12715
closed
Adding Publications and Links
Added by Anonymous about 7 years ago.
Updated about 7 years ago.
Description
Dear Leonardo,
please find attached the papers that we would like to be reachable through ISTI Open Access for EU Project Reporting reasons.
The links to the papers -- which we would like to use for the EU Periodic Reports -- are:
a_refinement_approach_post_print.pdf: https://goo.gl/f8vFeS
dependable_dynamic_routing_post_print.pdf: https://goo.gl/a5TTjb
towards_formal_methods_diversity_post_print.pdf: https://goo.gl/sEjJ7s
Thank you in advance
Alessio
- Assignee changed from Leonardo Candela to Michele Artini
- Priority changed from High to Urgent
@michele.artini@isti.cnr.it please find here the three documents we should update with a link to the file:
- A refinement approach to analyse critical cyber-physical systems
- Dependable dynamic routing for urban transport systems through integer linear programming
- Towards formal methods diversity in railways: an experience report with seven frameworks
I'm going to send the files by email.
- Assignee changed from Michele Artini to Leonardo Candela
- % Done changed from 0 to 100
I patched the xslt that transforms the original records (Dublin Core) in the OpenPortal records.
The links are under "Also available from > Direct link (PDF)" and are marked as "Open Access"
- Status changed from New to Closed
Also available in: Atom
PDF
Updated by 
