Zobrazeno 1 - 10
of 868
pro vyhledávání: '"BUSHNELL, DAVID"'
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.
Autor:
Jagota, Milind, Townshend, Raphael J.L., Kang, Lin-Woo, Bushnell, David A., Dror, Ron O., Kornberg, Roger D., Azubel, Maia
Publikováno v:
In Ultramicroscopy August 2021 227
Autor:
Zhang, Heqiao, Chen, Dong-Hua, Mattoo, Rayees U.H., Bushnell, David A., Wang, Yannan, Yuan, Chao, Wang, Lin, Wang, Chunnian, Davis, Ralph E., Nie, Yan, Kornberg, Roger D.
Publikováno v:
In Molecular Cell 15 April 2021 81(8):1781-1788
Autor:
Brat, Guillaume, Bushnell, David, Davies, Misty, Giannakopoulou, Dimitra, Howar, Falk, Kahsai, Temesghen
This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and invol
Externí odkaz:
http://arxiv.org/abs/1502.02605
