Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Yuan Yongwei"'
We consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of libraries and abstract data type (ADT) methods that are expressed in Lin
Externí odkaz:
http://arxiv.org/abs/2411.02716
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Physics and Chemistry of the Earth October 2017 101:78-85
Autor:
Ren, Fumin, Gao, Liping, Yuan, Yongwei, Zhang, Yuan, Alqrni, Ahmed, Al-Dossary, Omar M., Xu, Jiaqiang
Publikováno v:
In Sensors & Actuators: B. Chemical February 2016 223:914-920
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Ecological Modelling 24 December 2015 318:245-253
Publikováno v:
In Physics and Chemistry of the Earth 2015 79-82:29-39
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2021 ASABE Annual International Virtual Meeting, July 12-16, 2021.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acb4e4f800f630b4fe24e87e572b61ad
https://doi.org/10.13031/aim.202101178
https://doi.org/10.13031/aim.202101178