Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Ben David, Hana"'
Publikováno v:
In Journal of Agriculture and Food Research March 2024 15
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-66, 66p
Autor:
CHAOQIANG DENG1 deng@cs.nyu.edu, COUSOT, PATRICK1 pcousot@cs.nyu.edu
Publikováno v:
ACM Transactions on Programming Languages & Systems. 2022, Vol. 44 Issue 1, p1-90. 90p.
Autor:
CHAOQIANG DENG1 deng@cs.nyu.edu, COUSOT, PATRICK1
Publikováno v:
ACM Transactions on Programming Languages & Systems. Dec2021, Vol. 43 Issue 5, p1-90. 90p.
Autor:
Montaghami, Vajih, Rayside, Derek
Publikováno v:
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MODELS); 2015, p322-327, 6p
Autor:
Raman, Vasumathi, Kress-Gazit, Hadas
Publikováno v:
2012 IEEE International Conference on Robotics & Automation; 1/ 1/2012, p5156-5162, 7p
Publikováno v:
Formal Methods in System Design; Feb2012, Vol. 40 Issue 1, p20-40, 21p
This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted onl
Autor:
Tiziana Margaria, Bernhard Steffen
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Autor:
Valeria Bertacco, Axel Legay
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. Th