Support #12715
closed
Adding Publications and Links
100%
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
Subtasks
Related issues
Updated by Leonardo Candela over 5 years ago
- 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.
Updated by Anonymous over 5 years ago
- 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"