Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Using model-checking to reveal a vulnerability of tamper-evident pairing

Autor: Kersten, R., Gastel, B. van, Drijvers, M., Smetsers, S., Eekelen, M.C.J.D. van, Brat, G., Rungta, N., Venet, A.

Publikováno v: Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 63-77. Berlin : Springer
STARTPAGE=63;ENDPAGE=77;TITLE=Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, ; 7871, pp. 63-77

Contains fulltext : 122773.pdf (Author’s version preprint ) (Open Access) NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7d3b55696cb0af195c50346837663ef
http://hdl.handle.net/2066/122773

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

What Every Reader Should Know About Studies Using Electronic Health Record Data but May Be Afraid to Ask

Autor: Kohane, Isaac S, Aronow, Bruce J, Avillach, Paul, Beaulieu-Jones, Brett K, Bellazzi, Riccardo, Bradford, Robert L, Brat, Gabriel A, Cannataro, Mario, Cimino, James J, García-Barrio, Noelia, Gehlenborg, Nils, Ghassemi, Marzyeh, Gutiérrez-Sacristán, Alba, Hanauer, David A, Holmes, John H, Hong, Chuan, Klann, Jeffrey G, Loh, Ne Hooi Will, Luo, Yuan, Mandl, Kenneth D, Daniar, Mohamad, Moore, Jason H, Murphy, Shawn N, Neuraz, Antoine, Ngiam, Kee Yuan, Omenn, Gilbert S, Palmer, Nathan, Patel, Lav P, Pedrera-Jiménez, Miguel, Sliz, Piotr, South, Andrew M, Tan, Amelia Li Min, Taylor, Deanne M, Taylor, Bradley W, Torti, Carlo, Vallejos, Andrew K, Wagholikar, Kavishwar B, Weber, Griffin M, Cai, Tianxi

Publikováno v: Journal of Medical Internet Research, Vol 23, Iss 3, p e22219 (2021)

Coincident with the tsunami of COVID-19–related publications, there has been a surge of studies using real-world data, including those obtained from the electronic health record (EHR). Unfortunately, several of these high-profile publications were

Externí odkaz: https://doaj.org/article/3185def0937d4d78ad259333d2c9ba74