Loading...
Latest full text publications
-
-
-
Neeraj Kumar Singh, Akshay M Fajge, Raju Halder, Md Imran Alam. Formal Verification and Code Generation for Solidity Smart Contracts. Rajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462. ⟨hal-04019340⟩
-
-
-
-
-
Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sébastien Guilmeau, et al.. Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems. 11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France. ⟨hal-03699979⟩
-
-
Documents
288
Distribution per document type