A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
From Research to Innovation: Exploring the Translation Journey with OpenInnoTrain
[article]
2021
Zenodo
Preserved Fulltext
As we cross the 2-year mark of the project, the intent of this book is to provide glimpses on OpenInnoTrain's current reflections and achievements with a variety of illustrations featuring activities across ...
Over the last 18 months of COVID-19 pandemic, we have experienced unprecedented circumstances in our lifetime that have demonstrated the critical role of knowledge creation and transmission across industries ...
The content of this publication does not reflect the official opinion of the European Union. ...
doi:10.5281/zenodo.5536932
fatcat:7pfwvjaznfagjgcapb2bm2zkuu
Formal Techniques for Java-Like Programs
[chapter]
Object-Oriented Technology. ECOOP 2007 Workshop Reader
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
of a program, by instrumenting different parts of the code for different test executions and then correlating the results. ...
Acknowledgements We are very grateful to Giovanni Lagorio, Mariangiola Dezani and Paola Giannini, and the two anonymous FTfJP referees for their feedback, suggestions, and careful checking and repairs to the formal ...
.), FME 2003, International Symposium of Formal Methods Europe,
Pisa, Italy, Sept. 8-14, 2003, Proceedings (to appear).
[Chalin03b]
Patrice Chalin. ...
doi:10.1007/978-3-540-78195-0_10
dblp:conf/ecoopw/BoylandCLLP07
fatcat:rqb7j5i3uvdu7cepqb4bxtmjja
As fórmulas na arquitectura
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
, without which the relief and the reconstruction of the original spaces and of the subsequent evolutions would have been much more difficult. ...
Acknowledgments We thank the Biblioteca Comunale Ariostea and the Archivio Storico Comunale di Ferrara for having allowed the consultation and the study of the rich documentation and the iconographic apparatuses ...
Rome, Italy: Gangemi Editore
International. 19 September 2019. p. 33-40. ISBN 978-88-492-3762-7. ...
doi:10.34628/2e7f-jg07
fatcat:h2m67l53w5gpfogtgfxjjjylvu